{"total":36,"rows":[{"id":"2305.11391","title":"A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation","created":"2023-05-19","cited_by_count":93,"area":null},{"id":"2211.16158","title":"Out-Of-Distribution Detection Is Not All You Need","created":"2022-11-29","cited_by_count":23,"area":null},{"id":"2212.14268","title":"Detection of out-of-distribution samples using binary neuron activation patterns","created":"2022-12-29","cited_by_count":15,"area":null},{"id":"2110.01232","title":"Benchmarking Safety Monitors for Image Classifiers with Machine Learning","created":"2021-10-04","cited_by_count":14,"area":null},{"id":"2109.12343","title":"Beyond Robustness: A Taxonomy of Approaches towards Resilient Multi-Robot Systems","created":"2021-09-25","cited_by_count":12,"area":null},{"id":"2208.14426","title":"Correct-by-Construction Runtime Enforcement in AI -- A Survey","created":"2022-08-30","cited_by_count":12,"area":null},{"id":"2308.02594","title":"SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents","created":"2023-08-03","cited_by_count":10,"area":null},{"id":"2212.07773","title":"Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks","created":"2022-12-15","cited_by_count":7,"area":null},{"id":"2104.14435","title":"Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes","created":"2021-04-25","cited_by_count":6,"area":null},{"id":"2106.01917","title":"SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks","created":"2021-06-03","cited_by_count":6,"area":null},{"id":"2307.11784","title":"What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems","created":"2023-07-20","cited_by_count":6,"area":null},{"id":"2310.20349","title":"A Low-cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks","created":"2023-10-31","cited_by_count":6,"area":null},{"id":"2404.08517","title":"Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward","created":"2024-04-12","cited_by_count":6,"area":null},{"id":"2403.18373","title":"BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection","created":"2024-03-27","cited_by_count":5,"area":null},{"id":"2103.15456","title":"Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions","created":"2021-03-29","cited_by_count":4,"area":null},{"id":"2310.14211","title":"LUNA: A Model-Based Universal Analysis Framework for Large Language Models","created":"2023-10-22","cited_by_count":4,"area":null},{"id":"2205.07736","title":"Prioritizing Corners in OoD Detectors via Symbolic String Manipulation","created":"2022-05-16","cited_by_count":3,"area":null},{"id":"2412.06869","title":"Safety Monitoring of Machine Learning Perception Functions: a Survey","created":"2024-12-09","cited_by_count":3,"area":null},{"id":"2405.08654","title":"Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring","created":"2024-05-14","cited_by_count":2,"area":null},{"id":"2405.10350","title":"Monitizer: Automating Design and Evaluation of Neural Network Monitors","created":"2024-05-16","cited_by_count":2,"area":null},{"id":"2410.06051","title":"Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces","created":"2024-10-08","cited_by_count":2,"area":null},{"id":"2410.08491","title":"Edge Case Detection in Automated Driving: Methods, Challenges, and Future Directions","created":"2024-10-11","cited_by_count":2,"area":null},{"id":"2511.05982","title":"Runtime Safety Monitoring of Deep Neural Networks for Perception: A Survey","created":"2025-11-08","cited_by_count":2,"area":null},{"id":"2103.03704","title":"Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features","created":"2021-03-05","cited_by_count":1,"area":null},{"id":"2310.03999","title":"Runtime Monitoring DNN-Based Perception","created":"2023-10-06","cited_by_count":1,"area":null},{"id":"2506.23703","title":"A New Perspective On AI Safety Through Control Theory Methodologies","created":"2025-06-30","cited_by_count":1,"area":null},{"id":"2508.10148","title":"Out-of-Distribution Detection using Counterfactual Distance","created":"2025-08-13","cited_by_count":1,"area":null},{"id":"2107.04764","title":"Hack The Box: Fooling Deep Learning Abstraction-Based Monitors","created":"2021-07-10","cited_by_count":0,"area":null},{"id":"2307.04533","title":"Preventing Errors in Person Detection: A Part-Based Self-Monitoring Framework","created":"2023-07-10","cited_by_count":0,"area":null},{"id":"2403.15497","title":"On the Detection of Anomalous or Out-Of-Distribution Data in Vision Models Using Statistical Techniques","created":"2024-03-21","cited_by_count":0,"area":null},{"id":"2411.04772","title":"Attention Masks Help Adversarial Attacks to Bypass Safety Detectors","created":"2024-11-07","cited_by_count":0,"area":null},{"id":"2411.15060","title":"Hallucination Detection in Virtually-Stained Histology: A Latent Space Baseline","created":"2024-11-22","cited_by_count":0,"area":null},{"id":"2603.22660","title":"Bounding Box Anomaly Scoring for simple and efficient Out-of-Distribution detection","created":"2026-03-24","cited_by_count":0,"area":null},{"id":"2604.26411","title":"Unifying Runtime Monitoring Approaches for Safety-Critical Machine Learning: Application to Vision-Based Landing","created":"2026-04-29","cited_by_count":0,"area":null},{"id":"2607.28954","title":"Mining Verdict Boundaries for Neural Network Verification","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2609.21713","title":"TERMon: Detecting Persistent Behavioral Threats in Edge AI via Hardware-Native Ternary Runtime Monitor","created":"2026-09-18","cited_by_count":0,"area":null}],"next_cursor":null}