9 citations · 21 across the 6 of their papers we have counts for
6 papers
Population Protocols that Correspond to Symmetric Games
Olivier Bournez, Jeremie Chalopin, Johanne Cohen +1
Population protocols have been introduced by Angluin et {al.} as a model of networks consisting of very limited mobile agents that interact in pairs but with no control over their…
Verification of Timed Automata Using Rewrite Rules and Strategies
Emmanuel Beffara, Olivier Bournez, Hassen Kacem +1
ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. Timed automata is a clas…
On the Convergence of Population Protocols When Population Goes to Infinity
Olivier Bournez, Philippe Chassaing, Johanne Cohen +2
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement. A population protocol corr…
A Survey on Continuous Time Computations
Olivier Bournez, Manuel Campagnolo
We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems…
Learning Equilibria in Games by Stochastic Distributed Algorithms
Olivier Bournez, Johanne Cohen
We consider a class of fully stochastic and fully distributed algorithms, that we prove to learn equilibria in games. Indeed, we consider a family of stochastic distributed dynamic…
Playing With Population Protocols
Olivier Bournez, Jérémie Chalopin, Johanne Cohen +1
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous…