Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa. Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. In Alain Finkel, Jérôme Leroux, Igor Potapov, editors, Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Volume 7550 of Lecture Notes in Computer Science, pages 79-91, Springer, 2012. [doi]
Abstract is missing.