Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers

Yiwei Zheng, Aiwen Lai, Weiyao Lan, Xiao Yu 0002. Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 7862-7867, IEEE, 2023. [doi]

Authors

Yiwei Zheng

This author has not been identified. Look up 'Yiwei Zheng' in Google

Aiwen Lai

This author has not been identified. Look up 'Aiwen Lai' in Google

Weiyao Lan

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

Xiao Yu 0002

This author has not been identified. Look up 'Xiao Yu 0002' in Google