VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.
Tommaso DreossiDaniel J. FremontShromona GhoshEdward KimHadi RavanbakhshMarcell Vazquez-ChanlatteSanjit A. SeshiaPublished in: CoRR (2019)
Keyphrases
- artificial intelligence
- knowledge based systems
- expert systems
- design criteria
- formal methods
- statistical analysis
- detailed design
- intelligent systems
- complex systems
- design methodology
- engineering design
- machine learning
- building blocks
- user interface
- intelligent agents
- computer aided
- knowledge engineering
- computational intelligence
- design tools
- natural language processing
- human computer interface
- image analysis
- ai technologies
- structural engineering
- highly modular