3 papers
cs.DC2026
Monadic Presburger Predicates have Robust Population Protocols
Philipp Czerner, Javier Esparza, Vincent Fischer +3
Population protocols are a model of distributed computation in which a collection of indistinguishable finite-state agents interact randomly in pairs to decide a predicate of their…
cs.LO2025
Runtime Verification for LTL in Stochastic Systems
Javier Esparza, Vincent Fischer
Runtime verification encompasses several lightweight techniques for checking whether a system's current execution satisfies a given specification. We focus on runtime verification…
cs.DC2025
The Expressive Power of Uniform Population Protocols with Logarithmic Space
Philipp Czerner, Vincent Fischer, Roland Guttenberg
Population protocols are a model of computation in which indistinguishable mobile agents interact in pairs to decide a property of their initial configuration. Originally introduce…