Pinned

1. lydia lydia Public

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

   C++ 21 4

2. LTLf2DFA LTLf2DFA Public

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

   Python 58 8

3. Plan4Past Plan4Past Public

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

   Python 14 1

4. pythomata pythomata Public

   A Python package for automata theory.

   Python 50 5

5. temprl temprl Public

   Reinforcement Learning framework for Temporal Goals

   Python 11 4

6. TraceAligner TraceAligner Public

   Declarative Trace Alignment via Automated Planning

   Java 6 2