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

Original languageEnglish
Title of host publicationCoordination Control of Distributed Systems
Pages339-346
Number of pages8
Volume75
Publication statusPublished - 2015

Cite this

Bresolin, D., Geretti, L., Villa, T., & Collins, P. (2015). An Introduction to the Verification of Hybrid Systems Using Ariadne. In Coordination Control of Distributed Systems (Vol. 75, pp. 339-346)