Author name: Jan K\v{r}et\'insk\'y, Tobias Meggendorfer, Maximilian Prokop

arXiv:2604.24102v1 Announce Type: new
Abstract: Synthesizing a reactive system from specifications given in linear temporal logic (LTL) is a classical problem, finding its applications in safety-critical systems design. These systems are typically rep…