Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
9 links
Weiming Xiang
Researcher
PaperSafety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model ReductionAuthorship / preprint / 2023PaperApproximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network CompressionAuthorship / preprint / 2022PaperA Data-Driven Modeling Framework of Time-Dependent Switched Dynamical Systems via Extreme Learning MachineAuthorship / preprint / 2021PaperRun-Time Safety Monitoring of Neural-Network-Enabled Dynamical SystemsAuthorship / preprint / 2021PaperReachable Set Estimation for Neural Network Control Systems: A Simulation-Guided ApproachAuthorship / preprint / 2020PaperVerification of Deep Convolutional Neural Networks Using ImageStarsAuthorship / preprint / 2020PaperReachability Analysis for Feed-Forward Neural Networks using Face LatticesAuthorship / preprint / 2020PaperOrder-Reduction Abstractions for Safety Verification of High-Dimensional Linear SystemsAuthorship / preprint / 2016