438 citations · 875 across the 77 of their papers we have counts for
1 paper · 2 filters
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren +1
This paper concerns the verification of continuous-time polynomial spline trajectories against linear temporal logic specifications (LTL without 'next'). Each atomic proposition is…