Pinned Loading

1. lydia lydia Public

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

   C++ 23 7

2. LTLf2DFA LTLf2DFA Public

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

   Python 68 9

3. Plan4Past Plan4Past Public

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

   Python 17 2

4. pythomata pythomata Public

   A Python package for automata theory.

   Python 54 6

5. temprl temprl Public

   Reinforcement Learning framework for Temporal Goals

   Python 11 4

6. TraceAligner TraceAligner Public

   Declarative Trace Alignment via Automated Planning

   Java 7 2