Specification and design of multi-agent applications using temporal Z

DOI10.1007/978-3-540-32128-6_18MaRDI QIDQ5316674zbMATH OpenFDO

Authors Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel

Publication date 14 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-32128-6_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Positional games (pursuit and evasion, etc.) (91A24)

Recommendations

• A formal specification of M-agent architecture
• Logical formalism for specification of real-time multiagent systems
• A method and tool for design of multi-agent systems
• MASL: A Logic for the Specification of Multiagent Real-Time Systems
• Towards agent systems engineering

Cited in

(5)

• The refinement of multi-agent systems
• A temporal trace language for formal modelling and analysis of agent systems
• A mechanism for dynamic role playing
• A formal specification of M-agent architecture
• Logical formalism for specification of real-time multiagent systems

This page was built for publication: Specification and design of multi-agent applications using temporal Z

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316674)