Quantitative Verification with Adaptive Uncertainty Reduction.

Naif Alasmari Radu Calinescu Colin Paterson Raffaela Mirandola

Published in: CoRR (2021)

Keyphrases

data structure
qualitative and quantitative
adaptive algorithms
real time
databases
information systems
model checking
temporal logic
verification method
database
e learning
incomplete information
adaptive learning
robust optimization
inherent uncertainty
functional verification