Min Wu, Gangfeng Yan, Zhiyun Lin, Ying Lan. Synthesis of output feedback control for motion planning based on LTL specifications. In 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA. pages 5071-5075, IEEE, 2009. [doi]
Abstract is missing.