Pre-controller Synthesis for Runtime Controller Synthesis. - Yuki Arioka; Takuto Yamauchi; Kenji Tei (ICCSCE, 2023)