51 citations · 366 across the 55 of their papers we have counts for
1 paper · 2 filters
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…