47 citations · 144 across the 34 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018
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…
cs.LO2018
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…