Cargando…

On the Modeling and Verification of Collective and Cooperative Systems

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-p...

Descripción completa

Detalles Bibliográficos
Autor principal: Aldini, Alessandro
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Frontiers Media S.A. 2022
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9271846/
https://www.ncbi.nlm.nih.gov/pubmed/35832931
http://dx.doi.org/10.3389/frobt.2022.866649

Ejemplares similares