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

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]

Authors

Min Wu

This author has not been identified. Look up 'Min Wu' in Google

Gangfeng Yan

This author has not been identified. Look up 'Gangfeng Yan' in Google

Zhiyun Lin

This author has not been identified. Look up 'Zhiyun Lin' in Google

Ying Lan

This author has not been identified. Look up 'Ying Lan' in Google