MITL Verification Under Timing Uncertainty.

Daniel Selvaratnam Michael Cantoni J. M. Davoren Iman Shames

Published in: CoRR (2022)

Keyphrases

asynchronous circuits
machine learning
expected utility
model checking
uncertain data
face verification
inherent uncertainty
database
person identification
formal methods
belief functions
missing data
probabilistic model
image sequences
image segmentation
real world
data sets
real time