1 paper · 1 filter
Kush Grover, Pratham Gupta, Jan KÅetÃnský
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…