An Introduction to the Verification of Hybrid Systems Using Ariadne

Davide Bresolin, Luca Geretti, Tiziano Villa, Pieter Collins

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Filter
Talk or presentation - at conference

Search results