- Souradeep Dutta - Artificial pancreas control using neural networks models.
- Anna Lukina - Adaptive Optimization Framework for Control and Verification of Cyber-Physical Systems.
- Cees Verdier - Formal controller synthesis using genetic programming.
- Marika Fanesi - Study and development of an ethercat control system for hardware-in-the-loop analysis of electric motors.
- Brandon Bohrer - The State of the KeYmaera X Theorem Prover.
- Benoît Legat - Minimally Constrained Stable Switched Systems and Application to Co-simulation.
- Paul Kroeger - The Demon, the Gambler, and the Engineer — Reconciling Hybrid-System Theory with Metrology.
- Nathalie Cauchi - StocHy: A new tool for the verification and control of stochastic processes.
- Mohammadhosein Hasanbeig - Logically-Constrained reinforcement Learning.
- Gareth Molyneux - Formal Verification of Chemical Reaction Networks using Bayesian Inference.
- Viraj Wijesuriya - Bayes-Adaptive Search for Data-Efficient Verification of Parametric Markov Decision Processes.
- Syifa’ul Mufid - Formal abstractions of Max-Plus Linear models.
Posters are presented during coffee breaks throughout the conference, and are located in the Atrium close to Lecture Theatre B (LTB).