Controller-Synthesis

Pathfinding Controller Synthesis implementation. For more information and a demo visit Here

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
LICENSE		LICENSE
README.md		README.md
benchmarks.py		benchmarks.py
environment.py		environment.py
kinematic_car.py		kinematic_car.py
main.py		main.py
ref2traj.py		ref2traj.py
visualization.py		visualization.py
visualization2.py		visualization2.py
xref_yices.py		xref_yices.py

Provide feedback