Development Status

September 21, 2021: Remove old websites and redirect to this website. The installation is tested on Ubuntu 20.04 with Python 3.8.

November 12, 2020: Migrate to Python 3. The installation is tested on Ubuntu 16.04 (64 bit version).

January 24, 2018: DryVR 2.0 is done. Adding state dependent transition and control synthesis.

April 18, 2017: The installation is tested on Ubuntu 16.04 (64 bit version).

March 23, 2017: The tool is tested on Ubuntu 16.04 (64 bit version).