verifiablerobotics.github.io/index.html at master · VerifiableRobotics/verifiablerobotics.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
<html>
<head>
<title>LTLMoP</title>
<link rel="stylesheet" type="text/css" href="ltlmop.css">
</head>
<body>
<img src="moplogo.png" alt="a little mop that many say looks like a broom" align="right">
<h1>LTLMoP Project Page</h1>
<h2>What is LTLMoP?</h2>

<p>
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.
</p>

<p>
If you would like to see an example of LTLMoP in action, please watch one of the following demonstration videos:
</p>

<a href="http://www.youtube.com/watch?v=M5gxI9sZKHg">
<img class="vthumb" src="vthumb-grocery-small.jpg"/></a>
<a href="http://www.youtube.com/watch?v=ei1_3EUhwk8">
<img class="vthumb" src="vthumb-iros-small.jpg"/></a>

<p>
(More videos are available at the <a href="http://www.youtube.com/user/ASLCornell/videos">Cornell ASL Youtube channel</a>.)
</p>
<br/>

<h2 style="display: inline;">How can I get it?</h2>

<span class="installbutton"><a href="https://github.com/LTLMoP/LTLMoP/wiki/Installation-Guide">Installation Guide</a></span>

<h2>How can I report a problem?</h2>

Please submit a bug report to the <a href="https://github.com/LTLMoP/LTLMoP/issues">issue tracker on GitHub</a>.

Also please feel free to create a fork of the <a href="https://github.com/ltlmop/ltlmop/">GitHub project</a> and submit pull requests / patches!

<h2>How can I find out more?</h2>

<ul>
<li> The main source of documentation is the <a href="https://github.com/LTLMoP/LTLMoP/wiki">Wiki</a>.
<li> If you're just getting started, please refer to the <a href="https://github.com/LTLMoP/LTLMoP/wiki/Tutorial">Tutorial</a>.
<li> For theoretical background information, see <a href="http://web.mae.cornell.edu/hadaskg/Publications/KGFP_TRO09.pdf">this paper</a>.
<li> For help writing specifications, see the <a href="https://github.com/LTLMoP/LTLMoP/raw/development/doc/grammar.pdf">grammar reference guide</a>.
<li> If you are interested in hacking LTLMoP, you'll likely want to check out the <a href="http://ltlmop.readthedocs.org/en/latest/">API documentation</a>. (<em>Warning: This is currently completely auto-generated and may be messy.</em>)
</ul>

<h2>License Information</h2>
<p>
Unless otherwise specified, LTLMoP is released under the <a href="http://www.gnu.org/copyleft/gpl.html">GPLv3 license</a>.  The <a href="http://jtlv.ysaar.net/">JTLV library</a> used for synthesis is LGPL.
</p><p>
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.
</p>
<br/>
<br/>
<br/>
</body>
</html>