会员服务
Travel Time Prediction from Sparse Open Data
Arxiv
0+阅读 · 2月14日
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
Arxiv
0+阅读 · 2月10日
Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification (Full Version)
Arxiv
0+阅读 · 2月5日
Abstract Framework for All-Path Reachability Analysis
Arxiv
0+阅读 · 2月4日
Conformal Reachability for Safe Control in Unknown Environments
Conformal Reachability for Safe Control in Unknown Environments
Arxiv
0+阅读 · 2月3日
DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
Arxiv
0+阅读 · 1月22日
Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
Arxiv
0+阅读 · 1月3日
Reach-Avoid Differential game with Reachability Analysis for UAVs: A decomposition approach
Arxiv
0+阅读 · 2025年12月28日
Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
Arxiv
0+阅读 · 2025年11月18日
Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
Arxiv
0+阅读 · 2025年11月18日
RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
Arxiv
0+阅读 · 2025年11月20日
Patching Neural Barrier Functions Using Hamilton-Jacobi Reachability
Arxiv
0+阅读 · 2023年4月19日
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds
Arxiv
0+阅读 · 2023年4月18日
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Arxiv
0+阅读 · 2023年4月18日
CLIO: a Novel Robotic Solution for Exploration and Rescue Missions in Hostile Mountain Environments
Arxiv
0+阅读 · 2023年4月14日
参考链接
微信扫码咨询专知VIP会员
Top