rgovindjee / verifai Goto Github PK
View Code? Open in Web Editor NEWThis project forked from torfah/verifai
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
License: BSD 3-Clause "New" or "Revised" License