Václav Brožek

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Regularity in PDA games revisited Electronic Notes in Theoretical Computer Science	2014-07-23	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
Determinacy and optimal strategies in infinite-state stochastic reachability games Theoretical Computer Science	2014-01-10	Paper
Approximating the termination value of one-counter MDPs and stochastic games Information and Computation	2013-06-06	Paper
One-counter stochastic games	2012-08-29	Paper
One-counter stochastic games (available as arXiv preprint)	2012-08-29	Paper
Qualitative reachability in stochastic BPA games	2012-04-24	Paper
Qualitative reachability in stochastic BPA games Information and Computation	2011-10-10	Paper
Approximating the termination value of one-counter MDPs and stochastic games Automata, Languages and Programming	2011-07-07	Paper
Discounted Properties of Probabilistic Pushdown Automata Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	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

Research outcomes over time

This page was built for person: Václav Brožek