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]
Abstract is missing.