Vojtěch Forejt

Available identifiers

zbMath Open forejt.vojtechMaRDI QIDQ278753

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4558784	2018-11-30	Paper
Decidability results for multi-objective stochastic games	2018-10-25	Paper
Model Checking Probabilistic Systems	2018-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4608661	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5357703	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
https://portal.mardi4nfdi.de/entity/Q2963937	2017-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q2957520	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
https://portal.mardi4nfdi.de/entity/Q2920113	2012-10-24	Paper
Playing Stochastic Games Precisely	2012-09-25	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vojtěch Forejt