Now showing items 1-4 of 4

• #### Linear vs. branching time: A semantical perspective ﻿

(2009)
The discussion of the relative merits of linear versus branching-time goes back to early 1980s. The dominating belief has been that the linear-time framework is not expressive enough semantically, marking linear-time logics ...
• #### Solving Partial-Information Stochastic Parity Games ﻿

(2013)
We study one-sided partial-information 2-player concurrent stochastic games with parity objectives. In such a game, one of the players has only partial visibility of the state of the game, while the other player has complete ...
• #### Synthesis from Probabilistic Components ﻿

(2013-10-29)
Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is constructed from scratch'' rather than composed from reusable components. ...
• #### Synthesis from Probabilistic Components ﻿

(2014)
Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. ...