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
EditorsJ. van Schuppen, T. Villa
PublisherSpringer
Pages339-346
Number of pages8
ISBN (Electronic)978-3-319-10407-2
ISBN (Print)978-3-319-10406-5
DOIs
Publication statusPublished - 2015

Publication series

SeriesLecture Notes in Control and Information Sciences
Volume456
ISSN0170-8643

Cite this