Luigi Bonassi's repositories
FOND4LTLf
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
Language:PythonLGPL-3.0000
Language:PDDLGPL-3.0000
Language:C++000
GPL-3.0000
UniversitĂ degli Studi di Brescia
Brescia
FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems