scientific article
From MaRDI portal
Publication:2908843
DOI10.4230/LIPIcs.FSTTCS.2010.120zbMath1245.68135MaRDI QIDQ2908843
Arnaud da Costa, Nicolas Markey, François Laroussinie
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0cc2.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ Graded modalities in strategy logic ⋮ On Satisfiability in ATL with Strategy Contexts ⋮ Model-checking iterated games ⋮ Automata-theoretic decision of timed games ⋮ Reasoning About Strategies ⋮ On the semantics of strategy logic ⋮ Augmenting ATL with strategy contexts ⋮ Reasoning about graded strategy quantifiers ⋮ Doomsday equilibria for omega-regular games ⋮ A Temporal Logic for the Interaction of Strategies ⋮ Uniform strategies, rational relations and jumping automata ⋮ A logic with revocable and refinable strategies
Uses Software
