Stefan Schwab, Bernd Holzmüller, Sören Hohmann. Automated Verification of Switched Systems Using Hybrid Identification. In Christian Berger 0001, Mohammad Reza Mousavi, Rafael Wisniewski, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Volume 10107 of Lecture Notes in Computer Science, pages 87-100, Springer, 2016. [doi]
Abstract is missing.