Stefan Schupp, Erika Ábrahám, Xin Chen 0002, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems. In Christian Berger 0001, Mohammad Reza Mousavi, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings. Volume 9361 of Lecture Notes in Computer Science, pages 8-24, Springer, 2015. [doi]
Abstract is missing.