Luigi Bonassi

icon company Oxford Robotics Institute icon location Oxford icon location Researcher @ University of Oxford

Results 1 comments of Luigi Bonassi

Remove mapping, proposition names *are* PDDL ground fluents. Fix ambiguity in DP names

Regarding the collision between "Val" (and "Y") PDDL predicates corresponding to different PPLTL subformulas, I think it is a good idea to use unique identifiers for these atoms. I propose...