Satisfiability of ATL with strategy contexts

by François Laroussinie, Nicolas Markey
Published 2013-07-01

Reachability Games with Relaxed Energy Constraints

by Loïc Hélouët, Nicolas Markey, Ritam Raha
Published 2019-09-01

Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games

by Patricia Bouyer, Nicolas Markey, Daniel Stan
Published 2016-09-01

ATLsc with partial observation

by François Laroussinie, Nicolas Markey, Arnaud Sangnier
Published 2015-09-01

Nash Equilibria in Symmetric Games with Partial Observation

by Patricia Bouyer, Nicolas Markey, Steen Vester
Published 2014-04-01

Multi-weighted Markov Decision Processes with Reachability Objectives

by Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour
Published 2018-09-01

Using Model Checking for Analyzing Distributed Power Control Problems

by Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby
Published 2010-01-01

Average-energy games

by Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Published 2015-09-01