Stars
5
results
for source starred repositories
Clear filter
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
Synthesis of Single and Maximally Permissive Strategies for LTLf Specifications (IJCAI2017, IJCAI2022)
A tool for LDLf translation to DFA and for LDLf synthesis.
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)