47 citations · 144 across the 34 of their papers we have counts for
3 papers · 1 filter
Automatic Analysis of Expected Termination Time for Population Protocols
Michael Blondin, Javier Esparza, Antonín Kučera
Population protocols are a formal model of sensor networks consisting of identical mobile devices. Two devices can interact and thereby change their states. Computations are infini…
Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment
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 patroll…
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +3
Vector Addition Systems with States (VASS) provide a well-known and fundamental model for the analysis of concurrent processes, parameterized systems, and are also used as abstract…