Weiming Xiang

Identifiers

No identifiers captured yet.

Papers (9)

1. Specification-Guided Safety Verification for Feedforward Neural Networks cs.LG · 2018 · author #1
2. Verification for Machine Learning, Autonomy, and Neural Networks Survey cs.AI · 2018 · author #1
3. Reachability Analysis and Safety Verification for Neural Network Control Systems cs.SY · 2018 · author #1
4. Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations cs.SC · 2018 · author #2
5. Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers cs.SY · 2018 · author #1
6. Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems cs.SY · 2018 · author #1
7. Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations cs.LG · 2017 · author #1
8. Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks cs.LG · 2017 · author #1
9. Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems cs.SY · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Taylor T. Johnson 9 shared papers
• Hoang-Dung Tran 6 shared papers
• Diego Manzanas Lopez 2 shared papers
• Nathaniel Hamilton 2 shared papers
• Patrick Musau 2 shared papers
• Ayana A. Wild 1 shared papers
• Joel A. Rosenfeld 1 shared papers
• Joel Rosenfeld 1 shared papers
• Luan Viet Nguyen 1 shared papers
• Xiaodong Yang 1 shared papers