A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic

DOI10.1007/978-3-642-25032-3_13zbMath1349.68116OpenAlexW137859519MaRDI QIDQ3098057

David Chemouil, Christophe Chareton, Julien Brunel

Publication date: 11 November 2011

Published in: Formal Methods, Foundations and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25032-3_13

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (1)

A logic with revocable and refinable strategies

Uses Software

• MOCHA

Cites Work

• Unnamed Item
• Alternating-time temporal logic
• ATL with Strategy Contexts and Bounded Memory

This page was built for publication: A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic