J. M. Davoren | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙