Relentful Strategic Reasoning in Alternating-Time Temporal Logic

DOI10.1007/978-3-642-17511-4_21zbMath1310.68144OpenAlexW2104974242MaRDI QIDQ3066109

Moshe Y. Vardi, Aniello Murano, Fabio Mogavero

Publication date: 7 January 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_21

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (5)

Graded modalities in strategy logic ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Reasoning About Strategies ⋮ Taming strategy logic: non-recurrent fragments ⋮ A delayed promotion policy for parity games

This page was built for publication: Relentful Strategic Reasoning in Alternating-Time Temporal Logic