Convex Approximation for LTL-based Planning. - Tokuda, Shumpei; Yamakita, Masaki; Oyama, Hiroyuki; Takano, Rin (2021)