Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic. Adaptive Testing for Specification Coverage in CPS Models. In Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate, editors, 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. Volume 54 of IFAC-PapersOnLine, pages 229-234, Elsevier, 2021. [doi]
Abstract is missing.