AiRobo

From zero to expert! Introducing the potential of AI and Robotics for all!

Training in Verification of Robotic Hybrid Systems

Days
Hours
Minutes
This event has passed.
  • 09/09/2024 9:00 am

    Start date.

  • 13/09/2024 5:30 pm

    End date.

  • RWTH Aachen

    Place.

  • Rheinisch-Westfälische Technische Hochschule Aachen - Germany

    Organiser.

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!

Agenda of the 3rd Training

3rd Training in Videos

Play Video