VOK
发表于 2025-3-23 11:58:22
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS in order to maintain the safety of an autonomous cyber-physical system. In this work, we show that runtime checks can replace the requirement to statically verify safety of the baseline controller. This is important as there are many powerful control techniques, such as model-predictive control and
不可救药
发表于 2025-3-23 17:40:25
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planningconservative. Recent work provides a data-driven approach to compute the density distribution of autonomous systems’ forward reachable states online. In this paper, we study the use of such approach in combination with model predictive control for verifiable safe path planning under uncertainties. W
山羊
发表于 2025-3-23 18:38:00
http://reply.papertrans.cn/67/6601/660033/660033_13.png
neutral-posture
发表于 2025-3-24 01:55:51
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Qut. Due the use of a large lookup table in the design, a neural network compression of the policy was proposed. Analysis of this system has spurred a significant body of research in the formal methods community on neural network verification. While many powerful methods have been developed, most work
职业拳击手
发表于 2025-3-24 05:49:41
http://reply.papertrans.cn/67/6601/660033/660033_15.png
Charitable
发表于 2025-3-24 10:01:31
Permutation Invariance of Deep Neural Networks with ReLUsll also be a permutation (possibly identity). These properties surface in many interesting practical applications of DNNs, e.g. consider the aircraft collision avoidance system that guides an aircraft to turn right if the sensory inputs suggest an intruder aircraft coming from the left, and .. The n
jaunty
发表于 2025-3-24 11:51:15
biotic environ ments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published progress reports, and archival documentations. These three publications are integrated and scheduled to pro vide in international communication the coheren
外科医生
发表于 2025-3-24 15:31:41
Steve A. Chienbiotic environ ments has justified the present triumvirate of specialized publications in this field: comprehensive reviews, rapidly published progress reports, and archival documentations. These three publications are integrated and scheduled to pro vide in international communication the coheren
心痛
发表于 2025-3-24 19:46:51
http://reply.papertrans.cn/67/6601/660033/660033_19.png
reaching
发表于 2025-3-25 02:36:50
http://reply.papertrans.cn/67/6601/660033/660033_20.png