70 citations · 193 across the 16 of their papers we have counts for
Showing cs.CVShow all
2 papers · 1 filter
cs.CV2025
Deterministic World Models for Closed-loop Reachability Analysis of End-to-End Vision-based Control
Yuang Geng, Zhongzheng Zhang, Chengzhen Jiang +5
End-to-end image controllers that map raw camera frames directly to control actions are increasingly deployed in safety-critical systems. However, formally verifying their closed-l…
cs.CV2021★ 2 cited
Reachability Analysis of Convolutional Neural Networks
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran +3
Deep convolutional neural networks have been widely employed as an effective technique to handle complex and practical problems. However, one of the fundamental problems is the lac…