| Publication | Date of Publication | Type |
|---|
Learning algorithms for verification of Markov decision processes
TheoretiCS | 2025-05-06 | Paper |
Game characterization of probabilistic bisimilarity, and applications to pushdown automata
(available as arXiv preprint) | 2018-11-30 | Paper |
Decidability results for multi-objective stochastic games
(available as arXiv preprint) | 2018-10-25 | Paper |
Model checking probabilistic systems
Handbook of Model Checking | 2018-07-20 | Paper |
Stability in graphs and games
(available as arXiv preprint) | 2018-03-21 | Paper |
On frequency LTL in probabilistic systems
(available as arXiv preprint) | 2017-09-12 | Paper |
Trading performance for stability in Markov decision processes
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Safe schedulability of bounded-rate multi-mode systems
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Solvency Markov decision processes with interest
(available as arXiv preprint) | 2017-02-21 | Paper |
Bisimilarity of probabilistic pushdown automata
(available as arXiv preprint) | 2017-01-26 | Paper |
Trading performance for stability in Markov decision processes
Journal of Computer and System Sciences | 2016-11-14 | Paper |
Expected reachability-time games
Theoretical Computer Science | 2016-05-02 | Paper |
Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Branching-time model-checking of probabilistic pushdown automata
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Language equivalence of probabilistic pushdown automata
Information and Computation | 2014-07-18 | Paper |
Markov decision processes with multiple long-run average objectives
Logical Methods in Computer Science | 2014-03-24 | Paper |
Branching-time model-checking of probabilistic pushdown automata
Journal of Computer and System Sciences | 2014-01-28 | Paper |
Multi-objective discounted reward verification in graphs and MDPs
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
On stochastic games with multiple objectives
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
Continuous-time stochastic games with time-bounded reachability
Information and Computation | 2013-06-06 | Paper |
| Continuous-time stochastic games with time-bounded reachability | 2012-10-24 | Paper |
Playing stochastic games precisely
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Automatic verification of competitive stochastic systems
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Expected reachability-time games
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Reachability in Stochastic Timed Games
Automata, Languages and Programming | 2009-07-14 | Paper |
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
Automata, Languages and Programming | 2008-08-19 | Paper |
Reachability in recursive Markov decision processes
Information and Computation | 2008-05-19 | Paper |
Reachability in Recursive Markov Decision Processes
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
