SEAMS 2026
Mon 13 - Tue 14 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Tue 14 Apr 2026 15:05 - 15:20 at Oceania II - Autonomous, Robotic & Cyber-Physical Systems Chair(s): Matteo Camilli

In smart Cyber-Physical Systems (sCPS), a critical challenge lies in task planning under uncertainty. There is a broad body of work in the area with approaches able to individually deal with different classes of constraints (e.g., ordering, structural) and uncertainties (e.g., in sensing, actuation, latencies). However, these uncertainties are rarely independent and often compound, affecting the satisfaction of goals and other system properties in subtle and often unpredictable ways. According to the Uncertainty Interaction Problem recently proposed in the literature, approaches are needed to identify multiple sources of uncertainty and quantify their impact. In this paper we deal with two types of uncertainty present in task-based sCPS, namely temporal availability constraints and element reliability. The former refers to the availability of a given system element required to perform a task, which may be unavailable for certain periods of time, while the latter is related to system elements that may fail at some point with some probability. This paper presents an approach to consider both uncertainties, employing genetic algorithms to incorporate them effectively into planning for deciding how to best adapt the system to changes at run time. Our method is evaluated in the domains of electric vehicle charging and healthcare robotics. Our evaluation shows that: (i) the proposed approach outperforms a baseline mixed-integer linear programming (MILP) algorithm capable of generating optimal solutions in the absence of uncertainty, providing more robust solutions to failures, changes in temporal availability, or both sources of uncertainty combined; (ii) both sources of uncertainty have a strong and compound impact on the quality of the solutions provided; and (iii) the proposed approach significantly reduces computational cost, with respect to the MILP-based optimization.

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

14:00 - 15:30
Autonomous, Robotic & Cyber-Physical SystemsResearch Track / Artifact Track / Journal First Track / SEAMS Program at Oceania II
Chair(s): Matteo Camilli Politecnico di Milano
14:00
15m
Talk
Using Context-Role-Oriented Programming for Swarms to Alleviate the Micro-Macro ProblemFull PaperVirtual Attendance
Research Track
Sebastian Götz Technische Universität Dresden, Christian Gutsche Boysen-TU Dresden-Graduiertenkolleg; Technische Universität Dresden, Adrian Scholze Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
Media Attached File Attached
14:15
15m
Talk
Maneuver Sequence Coverage of Scenarios for Autonomous Driving SystemFull Paper
Research Track
Yulin Jin University of Edinburgh, Ajitha Rajan The University of Edinburgh
14:30
10m
Talk
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous SystemsShort Paper
Research Track
Gricel Vázquez University of York, UK, Calum Imrie University of York, Sepeedeh Shahbeigi University of York, UK, Nawshin Mannan Proma University of York, Tian Gan University of York, UK, Victoria J. Hodge University of York, John Molloy University of York, Simos Gerasimou Cyprus University of Technology
File Attached
14:40
15m
Talk
EvoDriver: Novelty-Search Driven Evolution of Behavioral Test Suites for Autonomous VehiclesFull Paper
Research Track
Sol Zilberman Michigan State University, Kenneth Chan Michigan State University, Betty H.C. Cheng Michigan State University
14:55
10m
Talk
Towards Assured Mission Adaptation of Multi-Robot SystemsShort Paper
Research Track
Vicente Romeiro Ruhr University Bochum, Ricardo Caldas Gran Sasso Science Institute (GSSI), Gianluca Filippone Gran Sasso Science Institute, L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Thorsten Berger Ruhr University Bochum, Genaína Nunes Rodrigues University of Brasília
15:05
15m
Talk
Automated Planning for Task-Based Cyber-Physical Systems under Multiple Sources of UncertaintyVirtual AttendanceJournal-First
Journal First Track
Raquel Sánchez Salas University of Malaga, Javier Troya ITIS Software, University of Malaga, Javier Camara University of Málaga
Media Attached
15:20
10m
Talk
Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted LivingArtifact
Artifact Track
Javier Camara University of Málaga, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Livia Lestingi DEIB, Politecnico di Milano, Michele Loreti University of Camerino, Hiroyuki Nakagawa Okayama University, Marjan Sirjani Malardalen University, Kenji Tei Institute of Science Tokyo