Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework

DOI10.1007/978-3-540-85257-5_19zbMath1188.68232OpenAlexW1537768499WikidataQ57491965 ScholiaQ57491965MaRDI QIDQ3613464

Rocco Aversa, Salvatore Venticinque, Francesco Moscato, Beniamino Di Martino

Publication date: 12 March 2009

Published in: Studies in Computational Intelligence (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Distributed systems (68M14)

Related Items (2)

Modelling resilient collaborative multi-agent systems ⋮ REMM

Uses Software

• Jadex

This page was built for publication: Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework