Verification of Hybrid Systems with Ariadne

Collins, P. (Speaker)

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

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