Specifying and verifying interaction protocols in a temporal action logic

DOI10.1016/j.jal.2005.12.011zbMath1122.68122OpenAlexW2092139396WikidataQ58207621 ScholiaQ58207621MaRDI QIDQ2372184

Alberto Martelli, Laura Giordano, Camilla B. Schwind

Publication date: 25 July 2007

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2005.12.011

zbMATH Keywords

temporal logicmultiagent systemsprotocol verification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Reasoning about actions with Temporal Answer Sets ⋮ Where logic and agents meet ⋮ Verifying Agents’ Conformance with Multiparty Protocols

Uses Software

• SPIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Frames in the space of situations
• Dynamic linear time temporal logic
• Planning for temporally extended goals.
• Communication in multiagent systems. Agent communication languages and conversation policies
• Ramification and causality in a modal action logic
• Logics in Artificial Intelligence
• AI*IA 2003: Advances in Artificial Intelligence
• A product version of dynamic linear time temporal logic

This page was built for publication: Specifying and verifying interaction protocols in a temporal action logic