#### **WiseMove** is safe reinforcement learning framework that combines hierarchical reinforcement learning and safety verification using temporal logic constraints.
# WiseMove
WiseMove is safe reinforcement learning framework that combines hierarchical reinforcement learning and safety verification using temporal logic constraints.
<br/>
<divalign="center">
<imgsrc="documentation/figures/highlevel.gif"/>
</div>
<br/>
Requirements
============
------------
* Python 3.6
* Sphinx
...
...
@@ -14,7 +17,7 @@ Requirements
Installation
============
------------
* Run the install dependencies script: `./scripts/install_dependencies.sh` to install pip3 and required python packages.
...
...
@@ -23,13 +26,13 @@ Note: The script checks if the dependencies folder exists in the project root fo
If you do not have an internet connection and the dependencies folder does not exist, you will need to run `./scripts/download_dependencies.sh` using a machine with an internet connection first and transfer that folder.
Documentation
=============
-------------
* Open `./documentation/index.html` to view the documentation
* If the file does not exist, use command `./scripts/generate_doc.sh build` to generate documentation first. Note that this requires Sphinx to be installed.
Replicate Results
=================
-----------------
Given below are the minimum steps required to replicate the results for simple_intersection environment. For a detailed user guide, it is recommended to view the documentation.
* Open terminal and navigate to the root of the project directory.
* Low-level policies:
...
...
@@ -91,7 +94,7 @@ Ubuntu 16.04
Coding Standards
================
----------------
We follow PEP8 style guidelines for coding and PEP257 for documentation.
It is not necessary to keep these in mind while coding, but before