J. M. Davoren

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 4

Top Topics

Linear Temporal Logic

Signature Verification

Moving Object Trajectories

Expected Utility

Top Venues

Theor. Comput. Sci.

Publications

Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames
MITL Verification Under Timing Uncertainty. CoRR (2022)
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames
MITL Verification Under Timing Uncertainty. FORMATS (2022)
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames
Sampling polynomial trajectories for LTL verification. Theor. Comput. Sci. 897 (2022)
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames
Sampling Polynomial Trajectories for LTL Verification. CoRR (2021)