# gridworld
Reachability traces implementation in a tabular gridworld environment

### Prerequisites

install numpy, matplotlib, keras

## Running the tests

Run: python traces.py

params.py can be modified to change parameters or environment layout

###################################################################
###################################################################

# Mujoco maze environments
Reachability traces implementation in a tabular gridworld environment

### Prerequisites and instructions
1. pytorch 1.3.1, python 3.6, numpy, keras
2. Install mujoco maze from https://pypi.org/project/mujoco-maze/
3. Find the mujoco_maze folder in the install location and replace it with the mujoco_maze folder included in the Mujoco_maze_envs direcory

## Running the tests

Run: python point_maze.py
