FoMaSE Research Project
FoMaSE Research Project
Overview
Project Details
News
People
Publications
Contacts
Light
Dark
Automatic
Fomase
AI-in-the-human-loop: an operational model for mature human-AI collaboration
Artificial intelligence (AI) and large language models are powerful tools but come with risks and caveats for proper usage. In this …
Roberto Casadei
,
Giovanni Delnevo
,
Barry Bassi
,
Chiara Ceccarini
,
Silvia Mirri
Cite
DOI
Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing
Angela Cortecchia
,
Davide Domini
,
Giovanni Ciatto
,
Roberto Casadei
,
Danilo Pianini
,
Mirko Viroli
Cite
DOI
A Specification Approach for Distributed Algorithms in Continuous Space-Time
Emerging paradigms such as the Internet of Things (IoT), Cyber-Physical Systems, and Wireless Sensor Networks envision distributed …
Roberto Casadei
,
Mirko Viroli
,
Niccolò Castronuovo
,
Gianluca Aguzzi
Cite
DOI
Macro-Programming Multi-Agent Systems: A Framework for Artificial Collective Intelligence (Blue Sky Ideas Track)
This paper elaborates on the opportunity and idea of multi-agent system (MAS) macro-programming, i.e., programming in terms of …
Roberto Casadei
Cite
DOI
Macro-to-micro behavioural mappings in distributed systems: a characterisation on event structures
Engineering the self-organising behaviour of artificial collective systems, such as robot swarms, is challenging. Effective …
Roberto Casadei
,
Paolo Baldini
,
Niccolò Castronuovo
Cite
Macroscopic Design of Swarms with Collective State Machines
Promoting collective intelligence in artificial collectives, such as robot swarms, is complex and generally addressed with different …
Gianluca Aguzzi
,
Giorgio Audrito
,
Roberto Girau
,
Gianluca Torta
,
Roberto Casadei
Cite
DOI
URL
Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming
Roberto Casadei
,
Martina De Sanctis
,
Gianluca Filippone
,
Sara Pettinari
,
Gian Luca Scoccia
,
Nicolas Troquard
Cite
DOI
Cite
×