Verification of multi-agent systems with timeouts for migration and communication

DOI10.1007/978-3-030-32505-3_9MaRDI QIDQ2279119zbMATH OpenOpenAlexFDO

Authors Bogdan Aman, Gabriel Ciobanu

Publication date 12 December 2019

Full work available at URL https://doi.org/10.1007/978-3-030-32505-3_9

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Parameterised verification for multi-agent systems
• Specification and Verification of Multi-Agent Systems
• Methods for agent synchronization behaviour in system verification in terms of multi-agent environments

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Verification of multi-agent systems with timeouts for migration and communication

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