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