MASL: A Logic for the Specification of Multiagent Real-Time Systems

DOI10.1007/978-3-540-75254-7_19MaRDI QIDQ3527272zbMATH OpenOpenAlexFDO

Authors Dmitry Bugaychenko, Igor' Pavlovich Solov'Ev

Publication date 25 September 2008

Published in Multi-Agent Systems and Applications V (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75254-7_19

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Logical formalism for specification of real-time multiagent systems
• Specification and Verification of Multi-Agent Systems
• Model checking MASL specification of distributed real-time systems
• scientific article; zbMATH DE number 1678355
• Logical specification of reactive and real-time systems

Cited in

(7)

• Alternating-time stream logic for multi-agent systems
• A logic framework for reasoning with movement based on fuzzy qualitative representation
• Formal \textsf{ReSpecT}
• Intelligent Agents and Multi-Agent Systems
• Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
• A strong completeness result for a MAS logic
• Logical formalism for specification of real-time multiagent systems

Describes a project that uses

Uses Software

• METATEM

This page was built for publication: MASL: A Logic for the Specification of Multiagent Real-Time Systems

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