Lacerda, Bruno, University of Birmingham, United Kingdom
-
Twenty-Fourth International Joint Conference on Artificial Intelligence - Main Track — Planning
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications
Abstract PDF -
2015 AAAI Fall Symposium Series - Sequential Decision Making for Intelligent Agents
Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract)
Abstract PDF