Showing 1 - 6 results of 6 for search 'Nicolas Markey', query time: 0.02s
Refine Results
-
1
Quantified CTL: Expressiveness and Complexity by François Laroussinie, Nicolas Markey
Published 2014-12-01
Article -
2
Language Preservation Problems in Parametric Timed Automata by Étienne André, Didier Lime, Nicolas Markey
Published 2020-01-01
Article -
3
On the Expressiveness and Complexity of ATL by Francois Laroussinie, Nicolas Markey, Ghassan Oreiby
Published 2008-05-01
Article -
4
ATLsc with partial observation by François Laroussinie, Nicolas Markey, Arnaud Sangnier
Published 2015-09-01
Article -
5
Model Checking One-clock Priced Timed Automata by Patricia Bouyer, Kim G. Larsen, Nicolas Markey
Published 2008-06-01
Article -
6
Pure Nash Equilibria in Concurrent Deterministic Games by Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Published 2015-06-01
Article