Reasoning about strategies: on the satisfiability problem
DOI10.23638/LMCS-13(1:9)2017zbMATH Open1448.68312arXiv1611.08541MaRDI QIDQ2980973FDOQ2980973
Moshe Y. Vardi, Fabio Mogavero, Giuseppe Perelli, Aniello Murano
Publication date: 8 May 2017
Full work available at URL: https://arxiv.org/abs/1611.08541
Recommendations
satisfiability problemalternating-time temporal logicstrategy logicmulti-agent gamesbounded tree-model propertystrategic reasonings
Applications of game theory (91A80) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (21)
- Dependences in strategy logic
- Intelligence in Strategic Games
- Strategy Logic
- Title not available (Why is that?)
- Alternating-time temporal logics with linear past
- Dependences in Strategy Logic
- Good-for-Game QPTL: An Alternating Hodges Semantics
- A logic for conditional local strategic reasoning
- A delayed promotion policy for parity games
- Cycle detection in computation tree logic
- Natural strategic ability
- Taming strategy logic: non-recurrent fragments
- Title not available (Why is that?)
- On completeness of narrowing strategies
- Title not available (Why is that?)
- Verification of multi-agent systems with public actions against strategy logic
- Title not available (Why is that?)
- Robust worst cases for parity games algorithms
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Reasoning about strategies: on the satisfiability problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980973)
