Timed Concurrent Game Structures

DOI10.1007/978-3-540-74407-8_30MaRDI QIDQ3525654zbMATH OpenOpenAlexFDO

Authors Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_30

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of game theory (91A80)

Recommendations

• Model-Checking Timed ATL for Durational Concurrent Game Structures
• On timed alternating simulation for concurrent timed games
• On timed alternating simulation for concurrent timed games
• Timed Alternating-Time Temporal Logic
• Temporal logics for games

Cited in

(11)

• Games of timing related to distribution of resources
• Timed network games
• Natural strategic ability
• On timed alternating simulation for concurrent timed games
• Model Checking Real-Time Systems
• Synchronous linear constraint system games
• The element of surprise in timed games.
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Trigger-based discretization of hybrid games for autonomous cyber-physical systems
• Formal verification and synthesis of mechanisms for social choice
• On timed alternating simulation for concurrent timed games

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Timed Concurrent Game Structures

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