TY  - RPRT
TI  - An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
AU  - Simone Silvetti
AU  - Alberto Policriti
AU  - Luca Bortolussi
PY  - 2017
DO  - 10.1007/978-3-319-66845-1_1
UR  - https://arxiv.org/abs/1705.01879
ID  - 1705.01879
ER  -