35 citations · 102 across the 18 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 1 cited
Forward Analysis for WSTS, Part III: Karp-Miller Trees
Michael Blondin, Alain Finkel, Jean Goubault-Larrecq
This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions" [STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444] and "Forward Analysis for WSTS, Part II: Complete…
cs.LO2017★ 9 cited
Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, Stefan Jaax +1
Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all…