We are pleased to announce the successful completion of the Training in Verification of Robotic Hybrid Systems held for academic staff as part of our ongoing european Erasmus+ project, Cooperation partnerships for Higher Education, AiRobo: Artificial Intelligence based Robotics, which took place in 9 – 13 September 2024 at RWTH Aachen University, Germany. The training covered topics as: SMT solving, Neural network verification, Hybrid systems analysis, as well as integrating the tools in teaching. This training provided an excellent opportunity for participants to share valuable insights, and exchange knowledge in these rapidly evolving fields. The interactive sessions allowed for fruitful discussions and collaborative learning, enriching our academic community. We are grateful to Prof. Erika Abraham, the Head of LuFG “Theory of Hybrid Systems”, from RWTH Aachen University, and to the entire team for organising and making this training a success. It was an inspiring experience!

More details here.