• The 16-th International Conference on Reachability Problems 2022 is hosted in Kaiserslautern.
  • RP2022
  • We started a new exciting seminar series cervera joint with Embedded Systems Group, ML Group, PL Group, and MPI.
  • (Oct'19) We thank Max-Planck Fellowship for starting their support for five years