J. M. Davoren | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Iman Shames
22 publications
Daniel Selvaratnam
3 publications
Michael Cantoni
3 publications

research

∙ 04/22/2022

MITL Verification Under Timing Uncertainty

A Metric Interval Temporal Logic (MITL) verification algorithm is presen...

0 Daniel Selvaratnam, et al. ∙

research

∙ 04/19/2021

Sampling Polynomial Trajectories for LTL Verification

This paper concerns the verification of continuous-time polynomial splin...

0 Daniel Selvaratnam, et al. ∙