Task Planning and Motion Control with Temporal Logic Specifications. - Marcos S. Pereira; Luciano C. A. Pimenta; Bruno Vilhena Adorno (IROS, 2023)