activity
20162023
most citedVerification for Machine Learning, Autonomy, and Neural Networks Survey

91 citations · 280 across the 22 of their papers we have counts for

collaborators
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2018★ 2 cited

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations

Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton +1

Reachability analysis is a fundamental problem for safety verification and falsification of Cyber-Physical Systems (CPS) whose dynamics follow physical laws usually represented as…