Verification of Hybrid Systems with Ariadne

Collins, P. (Speaker)

Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic

Period	20 Nov 2020
Event title	International Online Seminar on Interval Methods in Control Engineering
Event type	Seminar
Degree of Recognition	International

Documents & Links

Related content

Publications
Computable analysis with applications to dynamic systems
Research output: Contribution to journal › Article › Academic › peer-review
An Introduction to the Verification of Hybrid Systems Using Ariadne
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic