47 citations · 144 across the 34 of their papers we have counts for
3 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…
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
Tomas Brazdil, Stefan Kiefer, Antonin Kucera +1
We study the pattern frequency vector for runs in probabilistic Vector Addition Systems with States (pVASS). Intuitively, each configuration of a given pVASS is assigned one of fin…
MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
Tomáš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt +1
We present MultiGain, a tool to synthesize strategies for Markov decision processes (MDPs) with multiple mean-payoff objectives. Our models are described in PRISM, and our tool use…