2014
DOI: 10.1007/978-3-642-54830-7_14
View full text
|
|
Share

Abstract: AbstractThe theory of graph games is the foundation for modeling and synthesizing reactive processes. In the synthesis of stochastic processes, we use 2 1 2 -player games where some transitions of the game graph are controlled by two adversarial players, the System and the Environment, and the other transitions are determined probabilistically. We consider 2 1 2 -player games where the objective of the System is the conjunction of a qualitative objective (specified as a parity condition) and a quantitative ob…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
4
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals