52 citations · 269 across the 38 of their papers we have counts for
3 papers · 1 filter
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Broadcast networks allow one to model networks of identical nodes communicating through message broadcasts. Their parameterized verification aims at proving a property holds for an…
Nash equilibria in games over graphs equipped with a communication mechanism
Patricia Bouyer, Nathan Thomasset
We study pure Nash equilibria in infinite-duration games on graphs, with partial visibility of actions but communication (based on a graph) among the players. We show that a simple…
Reasoning about Quality and Fuzziness of Strategic Behaviours
Patricia Bouyer, Orna Kupferman, Nicolas Markey +3
Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional te…