2 citations · 4 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020
Synthesizing safe coalition strategies
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Concurrent games with a fixed number of agents have been thoroughly studied, with various solution concepts and objectives for the agents. In this paper, we consider concurrent gam…
cs.LO2019★ 2 cited
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…