Search Results for author: Antonín Kučera

Found 3 papers, 0 papers with code

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

no code implementations7 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

Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment

no code implementations8 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.

MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives

no code implementations13 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.