Synthesis of output feedback control for motion planning based on LTL specifications.

Min Wu, Gangfeng Yan, Zhiyun Lin, Ying Lan

Browse the full IROS paper archive.