48 citations · 241 across the 30 of their papers we have counts for
3 papers · 1 filter
Reachability Games with Relaxed Energy Constraints
Loïc Hélouët, Nicolas Markey, Ritam Raha
We study games with reachability objectives under energy constraints. We first prove that under strict energy constraints (either only lower-bound constraint or interval constraint…
Reasoning about Quality and Fuzziness of Strategic Behaviours
Patricia Bouyer, Orna Kupferman, Nicolas Markey +3
Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional te…
Abstraction Refinement Algorithms for Timed Automata
Victor Roussanaly, Ocan Sankur, Nicolas Markey
We present abstraction-refinement algorithms for model checking safety properties of timed automata. The abstraction domain we consider abstracts away zones by restricting the set…