Vojtech Forejt

Available identifiers

zbMath Open forejt.vojtechMaRDI QIDQ278753

List of research outcomes

Publication	Date of Publication	Type
Game characterization of probabilistic bisimilarity, and applications to pushdown automata	2018-11-30	Paper
Decidability results for multi-objective stochastic games	2018-10-25	Paper
Model checking probabilistic systems	2018-07-20	Paper
Stability in graphs and games	2018-03-21	Paper
On frequency LTL in probabilistic systems	2017-09-12	Paper
Trading performance for stability in Markov decision processes	2017-07-03	Paper
Safe schedulability of bounded-rate multi-mode systems	2017-05-16	Paper
Solvency Markov decision processes with interest	2017-02-21	Paper
Bisimilarity of probabilistic pushdown automata	2017-01-26	Paper
Trading performance for stability in Markov decision processes	2016-11-14	Paper
Expected reachability-time games	2016-05-02	Paper
Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$	2016-01-12	Paper
Branching-time model-checking of probabilistic pushdown automata	2015-03-19	Paper
Language equivalence of probabilistic pushdown automata	2014-07-18	Paper
Markov decision processes with multiple long-run average objectives	2014-03-24	Paper
Branching-time model-checking of probabilistic pushdown automata	2014-01-28	Paper
Multi-objective discounted reward verification in graphs and MDPs	2014-01-17	Paper
On stochastic games with multiple objectives	2013-09-20	Paper
Continuous-time stochastic games with time-bounded reachability	2013-06-06	Paper
Continuous-time stochastic games with time-bounded reachability	2012-10-24	Paper
Playing stochastic games precisely	2012-09-25	Paper
Automatic verification of competitive stochastic systems	2012-06-29	Paper
Expected reachability-time games	2010-09-10	Paper
Reachability in Stochastic Timed Games	2009-07-14	Paper
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics	2008-09-18	Paper
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives	2008-08-19	Paper
Reachability in recursive Markov decision processes	2008-05-19	Paper
Reachability in Recursive Markov Decision Processes	2007-09-04	Paper

Research outcomes over time

This page was built for person: Vojtech Forejt