VERIFAI swMATH ID: 32550 Software Authors: Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia Description: VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particularly seeks to address challenges with applying formal methods to perception and ML components, including those based on neural networks, and to model and analyze system behavior in the presence of environment uncertainty. We describe the initial version of VERIFAI which centers on simulation guided by formal models and specifications. Several use cases are illustrated with examples, including temporal-logic falsification, model-based systematic fuzz testing, parameter synthesis, counterexample analysis, and data set augmentation. Homepage: https://arxiv.org/abs/1902.04245 Source Code: https://github.com/BerkeleyLearnVerify/VerifAI Keywords: Artificial Intelligence; arXiv_cs.AI Related Software: Reluplex; NNV; Marabou; MNIST; SqueezeDet; Easychair; MPT; HYST; CORA; Model Predictive Control Toolbox; ReachNN; TensorFlow Quantum; Adam; TensorFlow; CVXPY; nncontroller; Safety Gym; HSolver; Benchmarks; RSOLVER Cited in: 3 Documents all top 5 Cited by 16 Authors 1 Bak, Stanley 1 Chen, Taolue 1 Fang, Wang 1 Guan, Ji 1 Hamilton, Nathaniel P. 1 Johnson, Taylor T. 1 Liu, Zhiming 1 Manzanas Lopez, Diego 1 Musau, Patrick 1 Pal, Neelanjana 1 Tran, Hoang-Dung 1 Woodcock, James C. P. 1 Yang, Xiaodong 1 Ying, Mingsheng 1 Zeng, Xia 1 Zhao, Hengjun Cited in 1 Serial 1 Formal Aspects of Computing Cited in 2 Fields 3 Computer science (68-XX) 1 Systems theory; control (93-XX) Citations by Year