no code implementations • 7 May 2020 • Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera, Philipp J. Meyer
We present a sound and complete method for the verification of qualitative liveness properties of replicated systems under stochastic scheduling.
Logic in Computer Science Distributed, Parallel, and Cluster Computing
no code implementations • 8 May 2018 • Tomáš Brázdil, Antonín Kučera, Vojtěch Řehák
We propose an algorithm for constructing efficient patrolling strategies in the Internet environment, where the protected targets are nodes connected to the network and the patrollers are software agents capable of detecting/preventing undesirable activities on the nodes.
no code implementations • 13 Jan 2015 • Tomáš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera
We present MultiGain, a tool to synthesize strategies for Markov decision processes (MDPs) with multiple mean-payoff objectives.