| Vol-3860 urn:nbn:de:0074-3860-3 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# iFM-Phd 2024
PhD Symposium at iFM 2024

### Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024)

### Manchester, United Kingdom, November 12, 2024.

Edited by

### Mădălina Eraşcu1
Mattias Ulbrich2

1 West University of Timişoara, Timişoara, Romania
2 Karlsruhe Institute of Technology, Karlsruhe, Germany

## Table of Contents

- Preface
  Summary: There were 10 papers submitted for peer-review to this symposium. Out of these, 8 papers were accepted for this volume.

### PhD Student Project Descriptions

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

2024-11-07: submitted by Mattias Ulbrich, metadata incl. bibliographic data published under Creative Commons CC0
2024-12-07: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|