WhiteMech
Results
6
repositories owned by
WhiteMech
lydia
23
Stars
4
Forks
Watchers
A tool for LDLf translation to DFA and for LDLf synthesis.
pythomata
54
Stars
6
Forks
Watchers
A Python package for automata theory.
flloat
21
Stars
4
Forks
Watchers
From LTLf/LDLf To Automata
LTLf2DFA
63
Stars
9
Forks
Watchers
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
FOND4LTLf
15
Stars
3
Forks
Watchers
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
Plan4Past
16
Stars
2
Forks
Watchers
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals