scientific article

DOI10.23638/LMCS-13(1:9)2017zbMath1448.68312arXiv1611.08541MaRDI QIDQ2980973

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfiability problemalternating-time temporal logicstrategy logicmulti-agent gamesbounded tree-model propertystrategic reasonings

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (16)

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ A logic for conditional local strategic reasoning ⋮ Unnamed Item ⋮ Dependences in Strategy Logic ⋮ Robust worst cases for parity games algorithms ⋮ Taming strategy logic: non-recurrent fragments ⋮ Unnamed Item ⋮ Intelligence in Strategic Games ⋮ Dependences in strategy logic ⋮ Alternating-time temporal logics with linear past ⋮ A delayed promotion policy for parity games ⋮ Cycle detection in computation tree logic ⋮ Natural strategic ability ⋮ Unnamed Item ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics

Uses Software

• MCMAS
• MCMAS-SLK

This page was built for publication: