Quantitative solution of omega-regular games
- 1 March 2004
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 68 (2) , 374-397
- https://doi.org/10.1016/j.jcss.2003.07.009
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Markov decision processes and regular eventsPublished by Springer Nature ,2005
- Concurrent reachability gamesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Concurrent omega-regular gamesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker RepresentationPublished by Springer Nature ,2000
- Model checking of probabilistic and nondeterministic systemsPublished by Springer Nature ,1995
- It usually works: The temporal logic of stochastic systemsPublished by Springer Nature ,1995
- Sequential circuit verification using symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1990
- Trees, automata, and gamesPublished by Association for Computing Machinery (ACM) ,1982
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969
- 2. RECURSIVE GAMESPublished by Walter de Gruyter GmbH ,1958