{"total":14,"rows":[{"id":"2107.00783","title":"Reinforcement Learning for Feedback-Enabled Cyber Resilience","created":"2021-07-02","cited_by_count":19,"area":null},{"id":"2112.02807","title":"MDPFuzz: Testing Models Solving Markov Decision Processes","created":"2021-12-06","cited_by_count":12,"area":null},{"id":"2107.12940","title":"Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm","created":"2021-07-27","cited_by_count":7,"area":null},{"id":"2110.10729","title":"Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees","created":"2021-10-20","cited_by_count":6,"area":null},{"id":"2108.04087","title":"Reinforcement Learning for Intelligent Healthcare Systems: A Comprehensive Survey","created":"2021-08-05","cited_by_count":3,"area":null},{"id":"2205.04590","title":"A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems","created":"2022-05-09","cited_by_count":3,"area":null},{"id":"2305.09930","title":"Model-based Validation as Probabilistic Inference","created":"2023-05-17","cited_by_count":3,"area":null},{"id":"2310.20493","title":"Requirement falsification for cyber-physical systems using generative models","created":"2023-10-31","cited_by_count":3,"area":null},{"id":"2211.12470","title":"A Deep Reinforcement Learning Approach to Rare Event Estimation","created":"2022-11-22","cited_by_count":2,"area":null},{"id":"2501.14009","title":"Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles","created":"2025-01-23","cited_by_count":2,"area":null},{"id":"2403.15857","title":"Automated System-level Testing of Unmanned Aerial Systems","created":"2024-03-23","cited_by_count":1,"area":null},{"id":"2508.11514","title":"DiCriTest: Testing Scenario Generation for Decision-Making Agents Considering Diversity and Criticality","created":"2025-08-15","cited_by_count":1,"area":null},{"id":"2307.15456","title":"Worrisome Properties of Neural Network Controllers and Their Symbolic Representations","created":"2023-07-28","cited_by_count":0,"area":null},{"id":"2601.03038","title":"Validating Generalist Robots with Situation Calculus and STL Falsification","created":"2026-01-06","cited_by_count":0,"area":null}],"next_cursor":null}