Copyright (C) 2013-2019, Cristian-Ioan Vasile ([email protected], [email protected])

If you are using the code, the please cite our papers.

Cristian-Ioan Vasile and Calin Belta. Sampling-Based Temporal Logic Path Planning. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 4817–4822, Tokyo, Japan, November 2013. doi:10.1109/IROS.2013.6697051. website

Cristian-Ioan Vasile and Calin Belta. Reactive Sampling-Based Temporal Logic Path Planning. In IEEE International Conference on Robotics and Automation (ICRA), pages 4310–4315, Hong Kong, China, June 2014. doi: 10.1109/ICRA.2014.6907486. website

• lomap
• numpy [common dependecy with lomap]
• scipy
• shapely
• matplotlib
• networkx==1.11 [common dependecy with lomap]
• pandas [postprocessing]
• seaborn [postprocessing]
• ffmpeg [optional]