VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
BSD 3-Clause "New" or "Revised" License
170
stars
47
forks
source link
Simulator code explanation request in Basic usage documentation + LGSVL Simulator example code request #13
Is it possible to give us the detailed documentation for "simulator" coding as it is given for "falsifier" in Basic Usage documentation?
And I would like connect VerifAI with LGSVL simulator. Is it possible to update an example code with respect to LGSVL simulator in github repository?
Looking forward to your reply.