Author name: Kush Grover, Pratham Gupta, Jan K\v{r}et\'insk\'y

arXiv:2604.24907v1 Announce Type: cross
Abstract: We introduce a new family of temporal logics intended for specifications in motion planning (MP). It builds upon the signal temporal logic (STL), which is a linear-time logic over real-valued signals t…