Verification of Hybrid Systems with Ariadne

Activity: Talk or presentation (speaker at event)Talk or presentationAcademic

Period20 Nov 2020
Event titleInternational Online Seminar on Interval Methods in Control Engineering
Event typeSeminar
Degree of RecognitionInternational