{"total":29,"rows":[{"id":"2403.15941","title":"Explore until Confident: Efficient Exploration for Embodied Question Answering","created":"2024-03-23","cited_by_count":74,"area":null},{"id":"2304.01075","title":"Conformal Prediction Regions for Time Series using Linear Complementarity Programming","created":"2023-04-03","cited_by_count":33,"area":null},{"id":"2309.10092","title":"Conformal Temporal Logic Planning using Large Language Models","created":"2023-09-18","cited_by_count":21,"area":null},{"id":"2310.10299","title":"Forking Uncertainties: Reliable Prediction and Model Predictive Control with Sequence Models via Conformal Risk Control","created":"2023-10-16","cited_by_count":20,"area":null},{"id":"2211.02375","title":"Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes","created":"2022-11-04","cited_by_count":13,"area":null},{"id":"2308.14815","title":"Distributionally Robust Statistical Verification with Imprecise Neural Networks","created":"2023-08-28","cited_by_count":12,"area":null},{"id":"2502.14105","title":"Conformal Prediction under Levy-Prokhorov Distribution Shifts: Robustness to Local and Global Perturbations","created":"2025-02-19","cited_by_count":12,"area":null},{"id":"2309.09187","title":"Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference","created":"2023-09-17","cited_by_count":9,"area":null},{"id":"2308.12252","title":"How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy","created":"2023-08-23","cited_by_count":8,"area":null},{"id":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","cited_by_count":5,"area":null},{"id":"2312.07434","title":"Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates","created":"2023-12-12","cited_by_count":4,"area":null},{"id":"2405.10875","title":"Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees","created":"2024-05-17","cited_by_count":4,"area":null},{"id":"2403.16871","title":"Conformal Off-Policy Prediction for Multi-Agent Systems","created":"2024-03-25","cited_by_count":3,"area":null},{"id":"2406.10449","title":"Learning Temporal Logic Predicates from Data with Statistical Guarantees","created":"2024-06-15","cited_by_count":3,"area":null},{"id":"2504.13478","title":"Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios","created":"2025-04-18","cited_by_count":3,"area":null},{"id":"2509.25473","title":"Conformal Prediction for Signal Temporal Logic Inference","created":"2025-09-29","cited_by_count":3,"area":null},{"id":"2312.01959","title":"Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees","created":"2023-12-04","cited_by_count":2,"area":null},{"id":"2511.14435","title":"Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems","created":"2025-11-18","cited_by_count":2,"area":null},{"id":"2310.03999","title":"Runtime Monitoring DNN-Based Perception","created":"2023-10-06","cited_by_count":1,"area":null},{"id":"2507.17796","title":"CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series","created":"2025-07-23","cited_by_count":1,"area":null},{"id":"2509.01338","title":"Conformal Predictive Monitoring for Multi-Modal Scenarios","created":"2025-09-01","cited_by_count":1,"area":null},{"id":"2603.29868","title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning","created":"2026-01-28","cited_by_count":1,"area":null},{"id":"2402.19385","title":"Towards Safe and Reliable Autonomous Driving: Dynamic Occupancy Set Prediction","created":"2024-02-29","cited_by_count":0,"area":null},{"id":"2412.13365","title":"Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction","created":"2024-12-17","cited_by_count":0,"area":null},{"id":"2504.13484","title":"Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems","created":"2025-04-18","cited_by_count":0,"area":null},{"id":"2605.13923","title":"Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations","created":"2026-05-13","cited_by_count":0,"area":null},{"id":"2605.19038","title":"Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic","created":"2026-05-18","cited_by_count":0,"area":null},{"id":"2609.09250","title":"No Free Checker: A Survey of Verifiers for Robot Policies","created":"2026-09-08","cited_by_count":0,"area":null},{"id":"2610.19701","title":"Runtime Monitoring of Supermartingale Certificates","created":"2026-10-14","cited_by_count":0,"area":null}],"next_cursor":null}