WhiteMech

Pinned Loading

1. lydia lydia Public

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

   C++ 24 7

2. LTLf2DFA LTLf2DFA Public

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

   Python 84 11

3. Plan4Past Plan4Past Public

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

   Python 20 3

4. pythomata pythomata Public

   A Python package for automata theory.

   Python 60 8

5. temprl temprl Public

   Reinforcement Learning framework for Temporal Goals

   Python 11 4

6. TraceAligner TraceAligner Public

   Declarative Trace Alignment via Automated Planning

   Java 8 2