Update README.md

README.md

+# DryVR
+
+(Note: this documentation is from the original DryVR software. Please see the documentation README in the root folder of the agbot verification project for more relevant description of installation procedures, etc.)
+
 DryVR 2.0 is a software tool for verifying cyber-physical and autonomoous systems. A key feature of DryVR is that it supports reachability analysis of _gray-box_ systems, that is, systems that are described in part as a white box transition system or a program and in part as a black-box simulator as shown in the figure below.
 
 <img src="figures/dryvrmodel.png" style="float: left; margin-right: 10px;" />
@@ -26,34 +30,3 @@ $ sudo apt-get install python3-pip libcairo2-dev libgraphviz-dev libglpk-dev
 $ pip3 install --upgrade pip  # Upgrade pip first
 $ pip3 install -r requirements.txt
 ```
-
-Quick Start
-==================
-To run verification examples, please run 
-
-```bash
-python main.py input/[input_file]
-```
-
-for example:
-
-```bash
-python main.py input/daginput/input_thermo.json
-```
-
-The examples descriptions can be found in the documentation. Please note that as the verification algorithm uses probabilistic method, the verification result may vary for different runs.
-
-
-To run controller synthesis, please run:
-------------------------------------------------------------
-
-```bash
-python graphSearch.py input/[input_file]
-```
-
-for example:
-
-```bash
-python graphSearch.py input/rrtinput/mazefinder.json
-```
-