Yuki Arioka, Takuto Yamauchi, Kenji Tei. Pre-controller Synthesis for Runtime Controller Synthesis. In 13th IEEE International Conference on Control System, Computing and Engineering, ICCSCE 2023, Penang, Malaysia, August 25-26, 2023. pages 161-166, IEEE, 2023. [doi]
Abstract is missing.