Ariadne: a framework for reachability analysis of hybrid automata

2006

Presented at the International Symposium on Mathematical Theory of Networks and Systems, Kyoto, Japan

Additional Metadata
THEME	Life Sciences (theme 5), Energy (theme 4)
Conference	International Symposium on Mathematical Theory of Networks and Systems
Organisation	Scientific Computing
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Balluchi, A., Casagrande, A., Collins, P., Ferrari, A., Villa, T., & Sangiovanni-Vincentelli, A. (2006). Ariadne: a framework for reachability analysis of hybrid automata. In Proceedings of International Conference on Mathematical Theory of Networks and Systems 2006 (17) (pp. 1267–1269).

Publication