Welcome to DryVR’s user manual!¶
- Release:
3.0
- Date:
09/27/2021
Latest manual url http://dryvrtool.readthedocs.io
DryVR is a framework for verifying cyber-physical systems. It specifically handles systems that are described by a combination of a Black-box Simulator for trajectories and a white-box Transition Graph specifying mode switches. The framework uses a probabilistic algorithm for learning sensitivity of the continuous trajectories from simulation data and includes a bounded reachability analysis algorithm that uses the learned sensitivity.