Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.

Bruno Lacerda, David Parker, Nick Hawes

Browse the full IJCAI paper archive.