Reasoning about strategies: on the satisfiability problem
DOI10.23638/LMCS-13(1:9)2017zbMATH Open1448.68312arXiv1611.08541MaRDI QIDQ2980973FDOQ2980973
Authors: Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi 
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 (31)
- Dependences in strategy logic
- Dependences in strategy logic
- Reasoning about strategies
- A logic with revocable and refinable strategies
- Strategy Logic
- Title not available (Why is that?)
- Stochastic game logic
- Alternating-time temporal logics with linear past
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Reasoning about graded strategy quantifiers
- Intelligence in strategic games
- A logic for conditional local strategic reasoning
- A delayed promotion policy for parity games
- Cycle detection in computation tree logic
- Natural strategic ability
- A behavioral hierarchy of strategy logic
- Taming strategy logic: non-recurrent fragments
- Strategy representation and reasoning in the situation calculus
- On completeness of narrowing strategies
- Title not available (Why is that?)
- Verification of multi-agent systems with public actions against strategy logic
- What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
- Title not available (Why is that?)
- Reasoning about strategies: on the model-checking problem
- Robust worst cases for parity games algorithms
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
- Strategy logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the boundary of behavioral strategies
- Nash equilibrium and bisimulation invariance
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)
