TY  - RPRT
TI  - Parallel and Multi-Objective Falsification with Scenic and VerifAI
AU  - Kesav Viswanadha
AU  - Edward Kim
AU  - Francis Indaheng
AU  - Daniel J. Fremont
AU  - Sanjit A. Seshia
PY  - 2021
UR  - https://arxiv.org/abs/2107.04164
ID  - 2107.04164
ER  -