A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas. Robust Test Generation and Coverage for Hybrid Systems. In Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo, editors, Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Volume 4416 of Lecture Notes in Computer Science, pages 329-342, Springer, 2007. [doi]
Abstract is missing.