Robuta

https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/10271 Dagstuhl Seminar 10271: Verification over discrete-continuous boundaries dagstuhl seminar 10271 verification discrete continuous