Adaptive Testing for Specification Coverage in CPS Models

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021
Publication statusAccepted/In press - 2021
Event7th IFAC Conference on Analysis and Design of Hybrid Systems - Brussels, Hybrider Event, Belgium
Duration: 7 Jul 20219 Jul 2021

Conference

Conference7th IFAC Conference on Analysis and Design of Hybrid Systems
Abbreviated titleADHS 2021
CountryBelgium
CityHybrider Event
Period7/07/219/07/21

Cite this