Uncertainty in runtime verification: A survey.

Rania Taleb Sylvain Hallé Raphaël Khoury

Published in: Comput. Sci. Rev. (2023)

Keyphrases

model checking
uncertain data
data sets
case study
formal methods
formal analysis
uncertain information
formal verification
real time
real world
knowledge base
image processing
expert systems
hidden markov models
asynchronous circuits