Publications

Peer-reviewed outputs of the FoMaSE project.

2026

AI-in-the-human-loop: an operational model for mature human-AI collaboration

Journal

Roberto Casadei, Giovanni Delnevo, Barry Bassi, Chiara Ceccarini, Silvia Mirri

Journal of Ambient Intelligence and Humanized Computing

Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing

Conference

Angela Cortecchia, Davide Domini, Giovanni Ciatto, Roberto Casadei, Danilo Pianini, Mirko Viroli

2026 22nd International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT)

A Specification Approach for Distributed Algorithms in Continuous Space-Time

Conference

Roberto Casadei, Mirko Viroli, Niccolò Castronuovo, Gianluca Aguzzi

Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2026)

Macro-Programming Multi-Agent Systems: A Framework for Artificial Collective Intelligence (Blue Sky Ideas Track)

Conference

Roberto Casadei

International Foundation for Autonomous Agents and Multiagent Systems / ACM

Macro-to-micro behavioural mappings in distributed systems: a characterisation on event structures

Conference

Roberto Casadei, Paolo Baldini, Niccolò Castronuovo

SASSO 2026 Workshop, co-located with the IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2026)

Macroscopic Design of Swarms with Collective State Machines

Conference

Gianluca Aguzzi, Giorgio Audrito, Roberto Girau, Gianluca Torta, Roberto Casadei

Computational Collective Intelligence

Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming

Conference

Roberto Casadei, Martina De Sanctis, Gianluca Filippone, Sara Pettinari, Gian Luca Scoccia, Nicolas Troquard

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence