specless

specless

specless is a Python package for the inferring specifications from demonstrations and synthesizing strategies for robots.

specless.api

specless.automaton

specless.cli

Command Line Interface

specless.const

Keeps all the constants used in this library

specless.dataset

Data and Dataset classes

specless.factory

specless.inference

Inference Algorithm

specless.io

This module contains functions to save and draw graphs and strategies.

specless.minigrid

specless.parser

Linear Temporal Logic (LTL) Parser Module

specless.specification

specless.strategy

Strategy module

specless.synthesis

Synthesis Algorithms

specless.tsp

specless.typing

Type Definitions

specless.utils

specless.wrapper