L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. In STOC 01: Symposium on Theory of Computing, pages 675-683. ACM Press, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On Nash Equilibria in Stochastic Games - Chatterjee, Jurdzinski, Majumdar (2003) Self-citation (Majumdar) (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. In STOC 01: Symposium on Theory of Computing, pages 675-683. ACM Press, 2001.
Reachability Objectives - Krishnendu Chatterjee Luca Self-citation (De alfaro) (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. Journal of Computer and System Sciences, 68:374-397, 2004.
The Complexity of Quantitative Concurrent Parity Games - Chatterjee, Henzinger (2004) Self-citation (De alfaro) (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. In STOC 01: Symposium on Theory of Computing, pages 675-- 683. ACM Press, 2001. Full version to appear in JCSS.
Linear and Branching Metrics for Quantitative Transition.. - de Alfaro, Faella.. (2004) (2 citations) Self-citation (De alfaro) (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. In Proc. 33rd ACM Symp. Theory of Comp., pages 675--683. ACM Press, 2001.
Quantitative Stochastic Parity Games - Chatterjee, Jurdzinski, Henzinger (2003) (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. In STOC'01, pages 675-683. ACM Press, 2001. Full version to appear in the Journal of Computer and Systems Sciences. Elsevier.
Two-player Nonzero-sum ω-regular Games - Chatterjee (2004) (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. In STOC 01: Symposium on Theory of Computing, pages 675{ 683. ACM Press, 2001. Full version to appear in JCSS.
Quantitative Stochastic Parity Games - Chatterjee, Jurdzinski, Henzinger (2004) (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. In STOC'01, pages 675-683. ACM Press, 2001. Full version to appear in the Journal of Computer and Systems Sciences. Elsevier.
PCTL model checking of symbolic probabilistic - Systems Marta Kwiatkowska (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omegaregular games. In Proc. 33rd Annual ACM Symposium on Theory of Computing (STOC 2001), pages 675-683. ACM Press, 2001.
Simple Stochastic Parity Games - Chatterjee, Jurdzinski, Henzinger (2003) (Correct)
No context found.
L. de Alfaro and R. Majumdar. Quantitative solution of omega-regular games. In STOC'01, pages 675-683. ACM Press, 2001.
Games, Probability and the Quantitative μ-Calculus - McIver, Morgan (2002) (Correct)
No context found.
Luca de Alfaro and Rupak Majumdar. Quantitative solution of omega-regular games. In Proc. STOC '01, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC