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]

Possibly Related Publications

The following publications are possibly variants of this publication: