A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis.

Kiam Tian Seow, Ming Gai, Tong Lee Lim

Browse the full ICRA paper archive.