SEAMS 2026
Mon 13 - Tue 14 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026

Temporal mission specifications, together with efficient controller synthesis techniques, enable the vision of effective and assured adaptation of robotic behaviour to new missions. However, the assurances provided by controller synthesis can be misleading. Temporal mission specifications adopt a discrete view of the world —through propositional variables or discrete events— while the synthesised controllers ultimately rely on lower-level robotic im- plementation layers, including control feedback loops and hardware, that interact with continuous physical phenomena. In this paper, we present a specification framework that allows capturing explicitly the hybrid assumptions linking discrete and continuous domains. We also formalize a soundness relation be- tween discrete mission goals, hybrid assumptions, and continuous mission goals which provides a rigorous foundation for end-to-end reasoning about missions. Making hybrid assumption explicit sup- ports pre-deployment validation and runtime monitoring but also mitigation of and recovery from hybrid assumption violations. We apply this specification framework to four case studies from the literature making explicit hidden hybrid assumptions to achieve mission soundness, discuss their validity, and the related adaptation strategies that they can inspire.

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Self-Healing, Diagnosis & Adaptive RepairResearch Track / Artifact Track / SEAMS Program at Oceania II
Chair(s): Ilias Gerostathopoulos Vrije Universiteit Amsterdam
11:00
15m
Talk
Dynamic Agent Generation for Self-Adaptive Root Cause AnalysisFull Paper
Research Track
Brell SANWOUO Univ. Lille / Inria, Paul Temple IRISA, Clément Quinton University of Lille
11:15
10m
Talk
Artifact of Dynamic Agent Generation for Self-Adaptive Root Cause AnalysisArtifact Award WinnerArtifact
Artifact Track
Brell SANWOUO Univ. Lille / Inria, Paul Temple IRISA, Clément Quinton University of Lille
11:25
15m
Talk
Verify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from MistakesDistinguished Paper AwardFull Paper
Research Track
Pietro Benecchi Politecnico di Milano, Luigi Cardone Politecnico di Milano, Matteo Camilli Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
11:40
15m
Talk
Leveraging Low-Parameter LLMs for Self-Healing in Kubernetes-Based Container OrchestrationFull Paper
Research Track
Yann Wiesinger Fraunhofer Institute for Open Communication Systems, Marcus Engelhardt Fraunhofer Institute for Open Communication Systems, Roman Laas Fraunhofer Institute for Open Communication Systems
11:55
15m
Talk
Reasoning About Hidden Hybrid Assumptions in Assured Temporal MissionsFull Paper
Research Track
Juan felipe Perdomo Institute Computer Science -Buenos Aires /CONICET/INVAP, Víctor Braberman ICC (UBA-CONICET), Sebastian Uchitel Universidad de Buenos Aires / Imperial College, Sebastián Zudaire ABB Corporate Research, Sweden
12:10
15m
Talk
CALM: A Self-Adaptive Orchestration Approach for QoS-Aware Routing in Small Language Model based SystemsFull Paper
Research Track
Hemang Jain International Institute of Information Technology - Hyderabad, Divyansh Pandey International Institute of Information Technology - Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad