438 citations · 875 across the 77 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 3 cited
MITL Verification Under Timing Uncertainty
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren +1
A Metric Interval Temporal Logic (MITL) verification algorithm is presented. It verifies continuous-time signals without relying on high frequency sampling. Instead, it is assumed…
cs.LO2021★ 2 cited
Sampling Polynomial Trajectories for LTL Verification
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…