ATL with strategy contexts: expressiveness and model checking

DOI10.4230/LIPICS.FSTTCS.2010.120MaRDI QIDQ2908843zbMATH OpenFDO

Authors Arnaud Da Costa, François Laroussinie, Nicolas Markey

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_0cc2.html

zbMATH Keywords

agentalternating temporal logicconcurrent game structuresstrategy quantifier

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Augmenting ATL with strategy contexts
• Alternating-time temporal logic
• ATL with Strategy Contexts and Bounded Memory
• Satisfiability of \textsf{ATL} with strategy contexts
• On satisfiability in ATL with strategy contexts

Cited in

(18)

• Practical verification of multi-agent systems against \textsc{Slk} specifications
• Graded modalities in strategy logic
• Model-checking iterated games
• Reasoning about graded strategy quantifiers
• Uniform strategies, rational relations and jumping automata
• A logic with revocable and refinable strategies
• On satisfiability in ATL with strategy contexts
• Reasoning about strategies: on the model-checking problem
• A Temporal Logic for the Interaction of Strategies
• On the Expressiveness and Complexity of ATL
• Temporal logics for games
• ATL with Strategy Contexts and Bounded Memory
• Automata-theoretic decision of timed games
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Satisfiability of \textsf{ATL} with strategy contexts
• Finitely defined preference and preference indiscernibility in ATL with strategy contexts
• On the semantics of strategy logic
• Augmenting ATL with strategy contexts

Describes a project that uses

Uses Software

• CESAR

This page was built for publication: ATL with strategy contexts: expressiveness and model checking

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