GitHub repository: whitemech/FOND4LTLfPLTLf
Primary language: Python
Description: FOND4LTLfPLTLf translates an LTLf/PLTLf-FOND to classical FOND planning problems