35 citations · 102 across the 18 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.DC2023
Population Protocols with Unordered Data
Michael Blondin, François Ladouceur
Population protocols form a well-established model of computation of passively mobile anonymous agents with constant-size memory. It is well known that population protocols compute…
cs.LO2023
Verifying linear temporal specifications of constant-rate multi-mode systems
Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan
Constant-rate multi-mode systems (MMS) are hybrid systems with finitely many modes and real-valued variables that evolve over continuous time according to mode-specific constant ra…