Model-Checking Timed ATL for Durational Concurrent Game Structures

DOI10.1007/11867340_18MaRDI QIDQ3511240zbMATH OpenOpenAlexFDO

Authors François Laroussinie, Nicolas Markey, Ghassan Oreiby

Publication date 8 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11867340_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model Checking Games for Branching Time Logics
• Game-Theoretic Semantics for Alternating-Time Temporal Logic
• Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
• A game approach to determinize timed automata
• A game approach to determinize timed automata
• Weighted timed automata: model-checking and games
• Model-checking timed temporal logics
• Parameterised model checking for alternating-time temporal logic
• On timed alternating simulation for concurrent timed games
• On timed alternating simulation for concurrent timed games

Cited in

(14)

• Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
• On timed alternating simulation for concurrent timed games
• Measuring Permissivity in Finite Games
• Concurrent game structures with roles
• Selective Approaches for Solving Weak Games
• Timed Concurrent Game Structures
• Parameterised model checking for alternating-time temporal logic
• The tail-recursive fragment of timed recursive CTL
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Multi-weighted reachability games
• Reachability games and friends: a journey through the Lens of memory and complexity (invited talk)
• Formal verification and synthesis of mechanisms for social choice
• On timed alternating simulation for concurrent timed games
• Model checking MASL specification of distributed real-time systems

This page was built for publication: Model-Checking Timed ATL for Durational Concurrent Game Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511240)