:mag_right: :loop: Goal Recognition in FOND Planning Domain Models with LTLf and PLTL Goals.
Primary LanguagePDDL