Status¶
Jan 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).
Jan 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).