A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
[chapter]
2019
Lecture Notes in Computer Science
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 addresses challenges with applying formal methods to ML components such as perception systems based on deep neural networks, as well as systems containing them, and to model and analyze system behavior in the presence of environment uncertainty. We describe the initial version of VERIFAI, which centers on
doi:10.1007/978-3-030-25540-4_25
fatcat:of3jxjqorrelzf3ra5ab6gzgxu