C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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