Invited Speakers
Keynote Speakers
- Ezio Bartocci, TU Wien
- Joost-Pieter Katoen, RWTH Aachen
- Antonín Kučera, Masaryk University
- Ruzica Piskac, Yale University
Tutorial Speaker
- K. S. Thejaswini, IST Austria
|
RP24: INTERNATIONAL CONFERENCE ON REACHABILITY PROBLEMS 2024
Invited Speakers
Keynote Speakers
Tutorial Speaker
|
|