Abstract
The formal description and verification of networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues. In this paper, we will explore the functionalities and the expressiveness of a general-purpose process algebraic framework for the specification and model checking based analysis of collective and cooperative systems. The proposed syntactic and semantic schemes are general enough to be adapted with small modifications to heterogeneous application domains, like, e.g., crowdsourcing systems, trustworthy networks, and distributed ledger technologies.
Funder
Dipartimento di Scienze Pure e Applicate, Università degli Studi di Urbino Carlo Bo
Subject
Artificial Intelligence,Computer Science Applications
Reference53 articles.
1. Modelling and Verification of Reconfigurable Multi-Agent Systems;Abd Alrahman;Auton. Agent Multi Agent Syst.,2021
2. A Stochastically Verifiable Decision Making Framework for Autonomous Ground Vehicles;Al-Nuaimi,2018
3. A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems;Aldini,2016
4. A Process Algebraic Approach to Software Architecture Design
5. Design and Verification of Trusted Collective Adaptive Systems;Aldini;Trans. Model. Comput. Simul. (TOMACS),2018