LTLMoP Project Page
What is LTLMoP?
The LTLMoP (Linear Temporal Logic MissiOn Planning) toolkit is a collection of Python applications for designing, testing, and implementing hybrid controllers generated automatically from task specifications written in Structured English or Temporal Logic.
If you would like to see an example of LTLMoP in action, please watch one of the following demonstration videos:
(More videos are available at the Cornell ASL Youtube channel.)
How can I get it? (and which version should I download?)
LTLMoP development takes place at its official GitHub repository.
The latest "stable" version of LTLMoP is available on the master branch; note that this may be fairly old.
The most up-to-date version is available on the development branch. This is more likely to have cool new features, but may contain some bugs.
Direct download links:
After downloading, please refer to the Installation Guide.
How can I report a problem?
Please submit a bug report to the issue tracker on GitHub.
Also please feel free to create a fork of the GitHub project and submit pull requests / patches!
How can I find out more?
- If you're just getting started, please refer to the Installation Guide and Tutorial.
- For theoretical background information, see this paper.
- For help writing specifications, see the grammar reference guide.
- If you are interested in hacking LTLMoP, you'll likely want to check out the API documentation.
Also, this tool is designed to help you get set up with a fork of LTLMoP on GitHub if you wish to contribute code.
- For information not covered in any of the above, try checking the Wiki.
License Information
Unless otherwise specified, LTLMoP is released under the GPLv3 license. The JTLV library used for synthesis is LGPL.
THE PROGRAM IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.