Temporal logics for games

MaRDI QIDQ3568107zbMATH OpenFDO

Authors François Laroussinie

Publication date 17 June 2010

zbMATH Keywords

concurrent game structurestemporal logic \textsf{ATL}

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Noncooperative games (91A10) Applications of game theory (91A80)

Recommendations

• Alternating-time temporal logic
• ATL with Strategy Contexts and Bounded Memory
• ATL with strategy contexts: expressiveness and model checking
• Timed Alternating-Time Temporal Logic
• Augmenting ATL with strategy contexts

Cited in

(11)

• Modelling simultaneous games in dynamic logic
• Reasoning about temporal properties of rational play
• Concurrent game structures with roles
• A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
• Timed Alternating-Time Temporal Logic
• Timed Concurrent Game Structures
• Game Quantification Patterns
• Games for Temporal Logics on Trees
• Game-Theoretic Semantics for Alternating-Time Temporal Logic
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• Augmenting ATL with strategy contexts

This page was built for publication: Temporal logics for games

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