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 :ref:`black-box-label` for trajectories and a white-box :ref:`transition-graph-label` 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.

.. toctree::
   :maxdepth: 2

   installation
   usage
   dryvr's_language
   dryvr's_control_synthesis
   example
   parameters_configuration
   publications
   contact
   status