Bruno Lacerda, David Parker 0001, Nick Hawes. Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). In 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015. pages 54-55, AAAI Press, 2015. [doi]
Abstract is missing.