@Inbook{FanMitra2019DesignChapter,
author="Fan, Chuchu
and Mitra, Sayan",
editor="Al Faruque, Mohammad Abdullah
and Canedo, Arquimedes",
title="Data-Driven Safety Verification of Complex Cyber-Physical Systems",
bookTitle="Design Automation of Cyber-Physical Systems",
year="2019",
publisher="Springer International Publishing",
address="Cham",
pages="107--142",
isbn="978-3-030-13050-3",
doi="10.1007/978-3-030-13050-3_5",
url="https://doi.org/10.1007/978-3-030-13050-3_5"
}