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