Scenic

MaRDI QIDQ5974300swMATHFDO

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