48 citations · 241 across the 30 of their papers we have counts for
3 papers · 1 filter
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…
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…
On Termination for Faulty Channel Machines
Patricia Bouyer, Nicolas Markey, Joël Ouaknine +2
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of…