47 citations · 115 across the 33 of their papers we have counts for
8 papers · 1 filter
Strategy Synthesis in Adversarial Patrolling Games
Tomáš Brázdil, Petr Hliněný, Antonín Kučera +2
Patrolling is one of the central problems in operational security. Formally, a patrolling problem is specified by a set of nodes (admissible defender's positions), a set $T \su…
Determinacy in Stochastic Games with Unbounded Payoff Functions
Tomáš Brázdil, Antonín Kučera, Petr Novotný
We consider infinite-state turn-based stochastic games of two players, Box and Diamond, who aim at maximizing and minimizing the expected total reward accumulated along a run, resp…
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
Tomáš Brázdil, Václav Brožek, Kousha Etessami +1
One-counter MDPs (OC-MDPs) and one-counter simple stochastic games (OC-SSGs) are 1-player, and 2-player turn-based zero-sum, stochastic games played on the transition graph of clas…
Markov Decision Processes with Multiple Long-run Average Objectives
Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee +2
We study Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) functions. We consider two different objectives, namely, expectation and satisfaction objecti…
One-Counter Stochastic Games
Tomáš Brázdil, Václav Brožek, Kousha Etessami
We study the computational complexity of basic decision problems for one-counter simple stochastic games (OC-SSGs), under various objectives. OC-SSGs are 2-player turn-based stocha…
Qualitative Reachability in Stochastic BPA Games
Tomáš Brázdil, Václav Brožek, Antonín Kučera +1
We consider a class of infinite-state stochastic games generated by stateless pushdown automata (or, equivalently, 1-exit recursive state machines), where the winning objective is…