48 citations · 241 across the 30 of their papers we have counts for
Showing 2008 · cs.LOShow all
2 papers · 2 filters
cs.LO2008★ 37 cited
Model Checking One-clock Priced Timed Automata
Patricia Bouyer, Kim G. Larsen, Nicolas Markey
We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model…
cs.LO2008★ 15 cited
On the Expressiveness and Complexity of ATL
Francois Laroussinie, Nicolas Markey, Ghassan Oreiby
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions o…