Dependences in strategy logic
From MaRDI portal
Publication:1987514
DOI10.1007/s00224-019-09926-yzbMath1484.68100OpenAlexW3161257624WikidataQ126387181 ScholiaQ126387181MaRDI QIDQ1987514
Nicolas Markey, Patricia Bouyer, Patrick Gardy
Publication date: 15 April 2020
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2018/8532/
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (3)
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Taming strategy logic: non-recurrent fragments ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis with rational environments
- Assume-admissible synthesis
- On the semantics of strategy logic
- Augmenting ATL with strategy contexts
- Graded modalities in strategy logic
- Complete axiomatization and decidability of alternating-time temporal logic
- What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
- Epistemic ATL with Perfect Recall, Past and Strategy Contexts
- A Behavioral Hierarchy of Strategy Logic
- Reasoning About Strategies
- A Temporal Logic for the Interaction of Strategies
- Dependences in Strategy Logic
- Alternating-time temporal logic
- On the Expressiveness and Complexity of ATL
- Strategy Logic
- Rational Synthesis
- ATL with Strategy Contexts and Bounded Memory
- The Complexity of Rational Synthesis
- An Epistemic Strategy Logic
- Quantifying Bounds in Strategy Logic
- On the Boundary of Behavioral Strategies
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
This page was built for publication: Dependences in strategy logic