swMATH28120MaRDI QIDQ39834FDOQ39834
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=3178126.3187008
Cited In (13)
- On checking equivalence of simulation scripts
- \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
- Using symmetry transformations in equivariant dynamical systems for their safety verification
- AutoMOTGen
- S-TaLiRo
- HARE
- CoSyma
- HyLAA
- XSpeed
- Solace
- OMPL
- Control Toolbox
- ParNMPC
This page was built for software: DryVR
