Model-Checking Timed ATL for Durational Concurrent Game Structures

DOI10.1007/11867340_18zbMATH Open1141.68474OpenAlexW116583532MaRDI QIDQ3511240FDOQ3511240

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

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

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)

Cited In (12)

• Parameterised model checking for alternating-time temporal logic
• Selective Approaches for Solving Weak Games
• Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
• On timed alternating simulation for concurrent timed games
• On timed alternating simulation for concurrent timed games
• Concurrent game structures with roles
• Multi-weighted reachability games
• The tail-recursive fragment of timed recursive CTL
• Measuring Permissivity in Finite Games
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Timed Concurrent Game Structures
• 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)