Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis

DOI10.1007/978-3-642-33512-9_8zbMath1374.68271OpenAlexW71055736MaRDI QIDQ4899145

Alberto Ferrari, Luca Geretti, Tiziano Villa, Luca Benvenuti, Davide Bresolin, Peter J. Collins

Publication date: 7 January 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33512-9_8

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

An Introduction to the Verification of Hybrid Systems Using Ariadne ⋮ A probabilistic calculus of cyber-physical systems ⋮ Ariadne ⋮ Parameter synthesis of polynomial dynamical systems

Uses Software

• KeYmaera
• PHAVer
• HyTech
• SpaceEx