Scenic

swMATH46461MaRDI QIDQ5974300FDOQ5974300

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2010.06580

Source code repository: https://github.com/BerkeleyLearnVerify/Scenic

Cited In (10)

• Paracosm
• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
• Apollo
• VERIFAI
• CARLA
• GoTube
• nnenum
• Verisig
• LGSVL
• Veritex

This page was built for software: Scenic