Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification.
Xin QinYuan XiaAditya ZutshiChuchu FanJyotirmoy V. DeshmukhPublished in: ACM Trans. Cyber Phys. Syst. (2024)
Keyphrases
- model checking
- formal verification
- real time
- concurrent systems
- decision making
- statistical analysis
- artificial intelligence
- statistical inference
- signature verification
- data driven
- statistical models
- probabilistic inference
- face verification
- data sets
- fingerprint verification
- asynchronous circuits
- verification method
- database