Lening Li, Jie Fu: Sampling-based approximate optimal temporal logic planning. ICRA 2017: 1328-1335