WhiteMech

LTLf2DFA

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

pythomata

A Python package for automata theory.

lydia

A tool for LDLf translation to DFA and for LDLf synthesis.

Plan4Past

Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals

FOND4LTLf

FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems

temprl

Reinforcement Learning framework for Temporal Goals

logaut

LOGics formalisms to AUTomata

pylogics

A Python library for logic formalisms representation and manipulation.

TraceAligner

Declarative Trace Alignment via Automated Planning

cynthia

SDD-based Forward LTLf Synthesis

whitemech.github.io

WhiteMech's website

fond4ltlfpltl_web

Website of FOND 4 LTLf / PLTLf

LydiaSyft

glucose

Repository mirror to the Glucose SAT solver.

gym-breakout-pygame

Gym Breakout environment using Pygame

gym-minecraft-pygame

OpenaAI Gym Minecraft-like environment implemented with Pygame

markov-abstractions-code-ijcai22

doc2bib

finite-synthesis-datasets

Datasets for Finite Synthesis.

grounding_LTLf_in_image_sequences

gym-sapientino

Implementation of the Sapientino environment using Gym.

Imitation-Learning-over-Heterogeneous-Agents-with-Restraining-Bolts

Imitation Learning over Heterogeneous Agents with Restraining Bolts

Plan4Past-data

trace-alignment-benchmarks

Benchmarks for the Trace Alignment repository

VisualRewardMachine

BeSyft

BeSyft is a tool for symbolic best-effort synthesis with LTLf goals and assumptions

lydia-web-app

Web app to interact with the Lydia tool.

planutils

General library for setting up linux-based environments for developing, running, and evaluating planners.

SymBA-star

Mirror repository for SymBA* 2 (64bit) https://fai.cs.uni-saarland.de/torralba/software.html

tailor-publications.github.io

TAILOR Bibbase webpage