| Publication | Date of Publication | Type |
|---|
Learning algorithms for verification of Markov decision processes
TheoretiCS | 2025-05-06 | Paper |
| Strategy Representation by Decision Trees with Linear Classifiers | 2024-03-14 | Paper |
Qualitative controller synthesis for consumption Markov decision processes
(available as arXiv preprint) | 2021-02-09 | Paper |
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Deciding fast termination for probabilistic VASS with nondeterminism
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Strategy representation by decision trees in reactive synthesis
(available as arXiv preprint) | 2019-09-16 | Paper |
Optimizing the expected mean payoff in energy Markov decision processes
(available as arXiv preprint) | 2018-10-25 | Paper |
Zero-reachability in probabilistic multi-counter automata
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Long-run average behaviour of probabilistic vector addition systems
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Long-run average behaviour of probabilistic vector addition systems
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Stability in graphs and games
(available as arXiv preprint) | 2018-03-21 | Paper |
Counterexample explanation by learning small strategies in Markov decision processes
(available as arXiv preprint) | 2018-03-01 | Paper |
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
(available as arXiv preprint) | 2018-01-11 | Paper |
Trading performance for stability in Markov decision processes
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Measuring performance of continuous-time stochastic processes using timed automata
Proceedings of the 14th 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 |
| Verification of open interactive Markov chains | 2017-01-26 | Paper |
Trading performance for stability in Markov decision processes
Journal of Computer and System Sciences | 2016-11-14 | Paper |
Efficient analysis of probabilistic programs with an unbounded counter
Journal of the ACM | 2015-08-14 | Paper |
Branching-time model-checking of probabilistic pushdown automata
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Runtime analysis of probabilistic programs with unbounded recursion
Journal of Computer and System Sciences | 2014-09-22 | Paper |
Analyzing probabilistic pushdown automata
Formal Methods in System Design | 2014-06-30 | Paper |
| One-counter Markov decision processes | 2014-05-22 | 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 |
| Local distributed model checking of RegCTL | 2013-08-16 | Paper |
Continuous-time stochastic games with time-bounded reachability
Information and Computation | 2013-06-06 | Paper |
Approximating the termination value of one-counter MDPs and stochastic games
Information and Computation | 2013-06-06 | Paper |
Minimizing expected termination time in one-counter Markov decision processes
Automata, Languages, and Programming | 2012-11-01 | Paper |
| Continuous-time stochastic games with time-bounded reachability | 2012-10-24 | Paper |
| On the memory consumption of probabilistic pushdown automata | 2012-10-24 | Paper |
Stochastic game logic
Acta Informatica | 2012-10-15 | Paper |
| One-counter stochastic games | 2012-08-29 | Paper |
One-counter stochastic games
(available as arXiv preprint) | 2012-08-29 | Paper |
Stabilization of branching queueing networks
(available as arXiv preprint) | 2012-08-23 | Paper |
Space-efficient scheduling of stochastically generated tasks
Information and Computation | 2012-05-24 | Paper |
| Qualitative reachability in stochastic BPA games | 2012-04-24 | Paper |
Qualitative reachability in stochastic BPA games
Information and Computation | 2011-10-10 | Paper |
Fixed-delay events in generalized semi-Markov processes revisited
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Approximating the termination value of one-counter MDPs and stochastic games
Automata, Languages and Programming | 2011-07-07 | Paper |
Runtime analysis of probabilistic programs with unbounded recursion
Automata, Languages and Programming | 2011-07-07 | Paper |
Reachability games on extended vector addition systems with states
Automata, Languages and Programming | 2010-09-07 | Paper |
Space-efficient scheduling of stochastically generated tasks
Automata, Languages and Programming | 2010-09-07 | Paper |
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
| Scheduling stochastic branching processes | 2009-07-27 | Paper |
Discounted Properties of Probabilistic Pushdown Automata
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | 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 |
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
Acta Informatica | 2008-04-23 | Paper |
Reachability in Recursive Markov Decision Processes
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
| Model checking of RegCTL | 2007-03-23 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
STACS 2005
Lecture Notes in Computer Science | 2005-12-02 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
