48 citations · 241 across the 30 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Dependences in Strategy Logic
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Strategy Logic (SL) is a very expressive logic for specifying and verifying properties of multi-agent systems: in SL, one can quantify over strategies, assign them to agents, and e…
cs.CC2017★ 1 cited
Courcelle's Theorem Made Dynamic
Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey
Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of model checking a fixed monadic second-o…