{"total":19,"rows":[{"id":"2112.12288","title":"Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning","created":"2021-12-23","cited_by_count":49,"area":null},{"id":"2105.14937","title":"Safe Pontryagin Differentiable Programming","created":"2021-05-31","cited_by_count":26,"area":null},{"id":"2210.00120","title":"NTFields: Neural Time Fields for Physics-Informed Robot Motion Planning","created":"2022-09-30","cited_by_count":22,"area":null},{"id":"2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","created":"2023-01-04","cited_by_count":16,"area":null},{"id":"2110.12662","title":"Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise","created":"2021-10-25","cited_by_count":13,"area":null},{"id":"2405.03164","title":"The Role of Predictive Uncertainty and Diversity in Embodied AI and Robot Learning","created":"2024-05-06","cited_by_count":11,"area":null},{"id":"2505.10547","title":"Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning","created":"2025-05-15","cited_by_count":10,"area":null},{"id":"2604.07644","title":"Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU","created":"2026-04-08","cited_by_count":7,"area":null},{"id":"2103.02398","title":"Correct-by-construction reach-avoid control of partially observable linear stochastic systems","created":"2021-03-03","cited_by_count":5,"area":null},{"id":"2205.05787","title":"Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models","created":"2022-05-11","cited_by_count":5,"area":null},{"id":"2112.05911","title":"Learning Contraction Policies from Offline Data","created":"2021-12-11","cited_by_count":3,"area":null},{"id":"2410.05045","title":"Can LLMs plan paths with extra hints from solvers?","created":"2024-10-07","cited_by_count":3,"area":null},{"id":"2605.25346","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","created":"2026-05-25","cited_by_count":2,"area":null},{"id":"2311.08652","title":"Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing","created":"2023-11-15","cited_by_count":1,"area":null},{"id":"2401.04960","title":"Why Change Your Controller When You Can Change Your Planner: Drag-Aware Trajectory Generation for Quadrotor Systems","created":"2024-01-10","cited_by_count":1,"area":null},{"id":"2601.01076","title":"Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees","created":"2026-01-03","cited_by_count":1,"area":null},{"id":"2304.06876","title":"Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems","created":"2023-04-14","cited_by_count":0,"area":null},{"id":"2512.22793","title":"Reach-Avoid Differential game with Reachability Analysis for UAVs: A decomposition approach","created":"2025-12-28","cited_by_count":0,"area":null},{"id":"2601.16424","title":"RENEW: Risk- and Energy-Aware Navigation in Dynamic Waterways","created":"2026-01-23","cited_by_count":0,"area":null}],"next_cursor":null}