Know more about : Planning to S5



Planning to S5 2018-03-20 C++


Planning to S5 is translating a PDDL instance with uncertainties about the initial state into an InToHyLo instance that should be considered as a modal logic S5 problem.
The tool, written in C++, is accessible here: http://www.cril.univ-artois.fr/~montmirail/planning-to-s5/


Get back