Optimal policy generation for partially satisfiable co-safe LTL specifications (2015)

by B Lacerda, D Parker, N Hawes
Venue:In International Joint Conference on Artificial Intelligence