International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | Coordinating a Robot Swarm in a Warehouse by Aggregate Programming: a Case Study | Giorgio Audrito, Lorenzo Comba, Ferruccio Damiani, Giordano Scarso, Alessandro Settimi, Gianluca Torta |
| 17:00 | Low-Code Data-Aware Programming for Multi-Robot Missions: From BPMN to X-Klaim and ROS | Lorenzo Bettini, Khalid Bourr, Simone Cottiga, Rosario Pugliese, Stefano Seriani, Francesco Tiezzi |
| 17:30 | ROS2 Coordination Middleware for Multi-Robot Systems | Yehia Abd Alrahman, Adina Aniculaesei, Othman Belal, Karim El-Nahass, Nir Piterman |