Václav Brožek

Available identifiers

zbMath Open brozek.vaclavMaRDI QIDQ391113

List of research outcomes

Publication	Date of Publication	Type
Optimal strategies in infinite-state stochastic reachability games	2021-03-03	Paper
Branching-time model-checking of probabilistic pushdown automata	2015-03-19	Paper
Regularity in PDA games revisited	2014-07-23	Paper
One-counter Markov decision processes	2014-05-22	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
Determinacy and optimal strategies in infinite-state stochastic reachability games	2014-01-10	Paper
Approximating the termination value of one-counter MDPs and stochastic games	2013-06-06	Paper
One-counter stochastic games	2012-08-29	Paper
Qualitative reachability in stochastic BPA games	2012-04-24	Paper
Qualitative reachability in stochastic BPA games	2011-10-10	Paper
Approximating the termination value of one-counter MDPs and stochastic games	2011-07-07	Paper
Discounted Properties of Probabilistic Pushdown Automata	2009-01-27	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: Václav Brožek