A Generic Approach to Quantitative Verification.

Published in: CoRR (2022)

Keyphrases

model checking
qualitative and quantitative
quantitative and qualitative
expert systems
domain specific
formal verification
genetic algorithm
face verification
asynchronous circuits
high security
information systems
decision making
e learning
image processing
wide range
multiresolution