scientific article
From MaRDI portal
Publication:2908844
DOI10.4230/LIPICS.FSTTCS.2010.133zbMath1245.68138MaRDI QIDQ2908844
Fabio Mogavero, Moshe Y. Vardi, Aniello Murano
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_8cc2.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationmodel-checkingopen systemsmulti-agent systemsalternating temporal logicconcurrent game structurestrategy quantifier
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (39)
Graph Games and Reactive Synthesis ⋮ The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Synthesis with rational environments ⋮ Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ Graded modalities in strategy logic ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ Model-checking iterated games ⋮ Dependences in Strategy Logic ⋮ Automata-theoretic decision of timed games ⋮ Robust worst cases for parity games algorithms ⋮ Reasoning About Strategies ⋮ Taming strategy logic: non-recurrent fragments ⋮ On the semantics of strategy logic ⋮ Reasoning About Substructures and Games ⋮ Augmenting ATL with strategy contexts ⋮ Unnamed Item ⋮ Reasoning about graded strategy quantifiers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Solving parity games via priority promotion ⋮ Dependences in strategy logic ⋮ Assume-admissible synthesis ⋮ Nash equilibria in symmetric graph games with partial observation ⋮ Doomsday equilibria for omega-regular games ⋮ Refining strategic ability in alternating-time temporal logic ⋮ Action models for coalition logic ⋮ Natural strategic ability ⋮ Priority promotion with Parysian flair ⋮ Unnamed Item ⋮ A Temporal Logic for the Interaction of Strategies ⋮ Multi-valued Verification of Strategic Ability ⋮ Unnamed Item ⋮ Infinite-Duration Bidding Games ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ Representing and reasoning about game strategies ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics
This page was built for publication:
