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