specless
specless
specless is a Python package for the inferring specifications from demonstrations and synthesizing strategies for robots.
Command Line Interface |
|
Keeps all the constants used in this library |
|
Data and Dataset classes |
|
Inference Algorithm |
|
This module contains functions to save and draw graphs and strategies. |
|
Linear Temporal Logic (LTL) Parser Module |
|
Strategy module |
|
Synthesis Algorithms |
|
Type Definitions |
|