Quantitative solution of omega-regular games380872
- 6 July 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 675-683
- https://doi.org/10.1145/380752.380871
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- The determinacy of Blackwell gamesThe Journal of Symbolic Logic, 1998
- Probabilistic predicate transformersACM Transactions on Programming Languages and Systems, 1996
- Multi-Terminal Binary Decision Diagrams and Hybrid Decision DiagramsPublished by Springer Nature ,1996
- On the synthesis of strategies in infinite gamesPublished by Springer Nature ,1995
- Infinite games played on finite graphsAnnals of Pure and Applied Logic, 1993
- The bad match; a total reward stochastic gameOR Spectrum, 1987
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Existence of Value and Randomized Strategies in Zero-Sum Discrete-Time Stochastic Dynamic GamesSIAM Journal on Control and Optimization, 1981
- On the existence of stationary optimal strategiesProceedings of the American Mathematical Society, 1969
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969