Václav Brožek

Available identifiers

zbMath Open brozek.vaclavMaRDI QIDQ391113

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4964719	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
https://portal.mardi4nfdi.de/entity/Q5417673	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

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: Václav Brožek