Parallel and Multi-objective Falsification with Scenic and VerifAI (Conference Paper) | NSF PAGES

skip to main content

Citation Details

Parallel and Multi-objective Falsification with Scenic and VerifAI

Award ID(s):: 1837132 1545126

NSF-PAR ID:: 10299936

Author(s) / Creator(s):: Viswanadha, K.; Kim, E.; Indaheng, F.; Fremont, D. J.; Seshia, S. A.

Date Published:: 2021-10-01

Journal Name:: 21st International Conference on Runtime Verification

Page Range / eLocation ID:: 265-276

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1007/978-3-030-88494-9_15