@inproceedings{BBD+0,
title = {Falsification of Cyber-Physical Systems with Constrained Signal Spaces },
author = {Barbot, Beno\^it and Basset, Nicolas and Dang, Thao and Donz\'e, Alexandre and Kapinski, James P. and Yamaguchi, Tomoya},
year = {2020},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
pages = {420--439},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {12229},
team = {axe_Mohytos, TEMPO},
}
