Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models