Posters
  • 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).