On the Boundary of Behavioral Strategies

DOI10.1109/LICS.2013.32zbMath1367.68290MaRDI QIDQ5271063

Aniello Murano, Fabio Mogavero, L. Sauro

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) (n)-person games, (n>2) (91A06) Agent technology and artificial intelligence (68T42)

Related Items (10)

Graph Games and Reactive Synthesis ⋮ The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Model-checking iterated games ⋮ Dependences in Strategy Logic ⋮ Reasoning About Strategies ⋮ Dependences in strategy logic ⋮ A logic with revocable and refinable strategies ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics

This page was built for publication: On the Boundary of Behavioral Strategies