会员服务
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日
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
Arxiv
0+阅读 · 2023年4月5日
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
Arxiv
0+阅读 · 2023年4月6日
Model-Agnostic Reachability Analysis on Deep Neural Networks
Arxiv
0+阅读 · 2023年4月3日
Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees
Arxiv
0+阅读 · 2023年4月1日
Physical Backdoor Trigger Activation of Autonomous Vehicle using Reachability Analysis
Arxiv
0+阅读 · 2023年3月27日
Physical Backdoor Trigger Activation of Autonomous Vehicle using Reachability Analysis
Arxiv
0+阅读 · 2023年3月24日
参考链接
微信扫码咨询专知VIP会员
Top