@inproceedings{19e2f957500c46f795554908e4626284,
title = "Adaptive Testing for Specification Coverage in CPS Models",
author = "Ezio Bartocci and Roderick Bloem and Benedikt Maderbacher and Niveditha Manjunath and Dejan Nickovic",
year = "2021",
doi = "10.1016/j.ifacol.2021.08.503",
language = "English",
pages = "229--234",
booktitle = "7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021",
note = "ADHS 2021 ; Conference date: 07-07-2021 Through 09-07-2021",
}