Author of the publication

Deciding the value 1 problem for probabilistic leaktight automata.

, , , and . Logical Methods in Computer Science, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Two-Sided Matching Markets with Strongly Correlated Preferences., , and . FCT, volume 12867 of Lecture Notes in Computer Science, page 3-17. Springer, (2021)A Class of Zielonka Automata with a Decidable Controller Synthesis Problem.. CoRR, (2016)Subgame Perfection for Equilibria in Quantitative Reachability Games., , , and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 286-300. Springer, (2012)Pure Stationary Optimal Strategies in Markov Decision Processes.. STACS, volume 4393 of Lecture Notes in Computer Science, page 200-211. Springer, (2007)On the Control of Asynchronous Automata.. FSTTCS, volume 93 of LIPIcs, page 30:1-30:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)A Bridge between Polynomial Optimization and Games with Imperfect Recall., , and . AAMAS, page 456-464. International Foundation for Autonomous Agents and Multiagent Systems, (2020)Limits of Multi-Discounted Markov Decision Processes., and . LICS, page 89-98. IEEE Computer Society, (2007)Perfect Information Stochastic Priority Games., and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 850-861. Springer, (2007)Deterministic Priority Mean-Payoff Games as Limits of Discounted Games., and . ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 312-323. Springer, (2006)When Can You Play Positionally?, and . MFCS, volume 3153 of Lecture Notes in Computer Science, page 686-697. Springer, (2004)