会员服务
cuRPQ: A High-Performance GPU-Based Framework for Processing Regular and Conjunctive Regular Path Queries
Arxiv
0+阅读 · 2月24日
A scalable framework for correcting public transport timetables using real-time data for accessibility analysis
Arxiv
0+阅读 · 3月12日
Complete Robust Hybrid Systems Reachability
Arxiv
0+阅读 · 2月26日
KCFRC: Kinematic Collision-Aware Foothold Reachability Criteria for Legged Locomotion
Arxiv
0+阅读 · 2月24日
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日
参考链接
微信扫码咨询专知VIP会员
Top