Efficient reactive synthesis using mode decomposition. (English) Zbl 07913495
Ábrahám, Erika (ed.) et al., Theoretical aspects of computing – ICTAC 2023. 20th international colloquium, Lima, Peru, December 4–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14446, 256-275 (2023).
MSC:
68Qxx