Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verification
Click the Cite button above to import the BibTeX entry.
Jul 1, 2023
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference
Click the Cite button above to import the BibTeX entry.
May 4, 2022
Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
Click the Cite button above to import the BibTeX entry.
Apr 1, 2020