A Temporal Logic for the Interaction of Strategies
From MaRDI portal
Publication:3090849
DOI10.1007/978-3-642-23217-6_31zbMath1343.68157MaRDI QIDQ3090849
Farn Wang, Fang Yu, Chung-Hao Huang
Publication date: 2 September 2011
Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-23217-6_31
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
68T42: Agent technology and artificial intelligence
Related Items
Doomsday equilibria for omega-regular games, Augmenting ATL with strategy contexts, Dependences in strategy logic, A logic with revocable and refinable strategies, Reasoning About Strategies, Unnamed Item
Cites Work