Model-Checking Timed ATL for Durational Concurrent Game Structures

DOI10.1007/11867340_18zbMath1141.68474OpenAlexW116583532MaRDI QIDQ3511240

Ghassan Oreiby, Nicolas Markey, François Laroussinie

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)

Related Items (4)

Measuring Permissivity in Finite Games ⋮ The tail-recursive fragment of timed recursive CTL ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Model checking MASL specification of distributed real-time systems

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