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
Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
Click the Cite button above to import the BibTeX entry.
Apr 28, 2022
Superflows: A New Tool for Forensic Network Flow Analysis
Click the Cite button above to import the BibTeX entry.
Mar 2, 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