MITL Verification Under Timing Uncertainty.

Daniel Selvaratnam Michael Cantoni J. M. Davoren Iman Shames

Published in: FORMATS (2022)

Keyphrases

asynchronous circuits
uncertain data
decision making
data structure
model checking
robust optimization
decision theory
signature verification
real time
information retrieval
decision trees
database systems
conditional probabilities
expected utility
uncertain information
inherent uncertainty