da Benedetta Chicca | Mag 29, 2025 | Uncategorized
A novel verification framework empowers formal reasoning over recurrent neural multi-agent systems under non-determinism and uncertainty. We recently presented a novel framework at AAMAS 2025 that enables the verification of neural multi-agent systems with memory,...
da Benedetta Chicca | Apr 7, 2025 | Uncategorized
Recent developments in Artificial Intelligence and Industry 4.0 have led to a new generation of autonomous Cyber-Physical Systems (CPSs), including self-driving cars, unmanned aerial vehicles, and multi-robot systems, possibly operating in critical environments. With...
da Benedetta Chicca | Mar 12, 2025 | Uncategorized
Safe road crossing by autonomous wheelchairs can be affected by several environmental factors such as adverse weather conditions influencing the accuracy of artificial vision. Previous studies have addressed experimental evaluation of multi-sensor information fusion...
da Benedetta Chicca | Feb 3, 2025 | Uncategorized
The REXASI-PRO project involves coordinating various agents to create a collaborative environment that is both efficient, safe and useful for the end user. A central orchestrator has been developed to manage information from the field and provide decision-making...
da Benedetta Chicca | Gen 16, 2025 | Uncategorized
Today’s world is boosting with powerful technologies and Artificial Intelligence (AI) solutions, finding fertile ground in many fields, including safety-critical Cyber-Physical Systems (CPSs). And REXASI-PRO’s use case is certainly one of these. If, on the...
da Benedetta Chicca | Dic 27, 2024 | Uncategorized
The “Dalle Molle Award for the Quality of Life Label” ceremony was held last Nov. 15 at the East Campus Lugano. The research group in Trustworthy Autonomous Systems at the Dalle Molle Institute for Artificial Intelligence (IDSIA USI-SUPSI) won the first place with a...
