LTL robot motion control based on automata learning of environmental dynamics.

Yushan Chen, Jana Tumova, Calin Belta

Browse the full ICRA paper archive.