Login / Signup
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.
Tommaso Dreossi
Daniel J. Fremont
Shromona Ghosh
Edward Kim
Hadi Ravanbakhsh
Marcell Vazquez-Chanlatte
Sanjit A. Seshia
Published in:
CAV (1) (2019)
Keyphrases
</>
artificial intelligence
intelligent systems
data analysis
knowledge based systems
statistical analysis
ai systems
distributed systems
complex systems
ai technologies
data structure
expert systems
fuzzy logic
computational intelligence
source code