Task Planning and Motion Control with Temporal Logic Specifications.

Marcos S. Pereira, Luciano C. A. Pimenta, Bruno Vilhena Adorno

Browse the full IROS paper archive.