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.