3 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
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…