Abstract is missing.
- Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid SystemsPauline Blohm, Paula Herber, Anne Remke. 1-6 [doi]
- Hybrid Games with TriggersQais Hamareneh. 7-13 [doi]
- Exploring LLMs and Semantic XAI for Industrial Robot Capabilities and Manufacturing Commonsense KnowledgeMuhammad Raza Naqvi, Arkopaul Sarkar, Farhad Ameri, Linda Elmhadhbi, Thierry Louge, Mohamed-Hedi Karray. 14-22 [doi]
- Towards Correct-by-Construction Machine-Learnt ModelsThomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan. 23-29 [doi]
- Towards Logical Specification and Checking of Evasive MalwareAndrei Mogage, Dorel Lucanu. 30-37 [doi]
- Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress)Gergely Buday, Andrei Popescu 0001. 38-48 [doi]
- Challenges in Autonomous Robotic System VerificationHuan Zhang, Hao Wu. 49-53 [doi]
- Extended Abstract: Skill-Based Architectures in Autonomous Systems: Lessons LearntPierre Malafosse, Alexandre Albore, Jérémie Guiochet, Charles Lesire. 53-59 [doi]