The following pages link to Taylor T. Johnson (Q832179):
Displaying 24 items.
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (Q1982635) (← links)
- Dynamic mode decomposition for continuous time systems with the Liouville operator (Q2062874) (← links)
- Neural network repair with reachability analysis (Q2112124) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Reachability analysis for high-index linear differential algebraic equations (Q2176703) (← links)
- Verification of deep convolutional neural networks using ImageStars (Q2225072) (← links)
- Improved geometric path enumeration for verifying ReLU neural networks (Q2225077) (← links)
- Decoupling abstractions of non-linear ordinary differential equations (Q2281654) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Safe and stabilizing distributed multi-path cellular flows (Q2344755) (← links)
- HYST (Q2988924) (← links)
- Scalable Static Hybridization Methods for Analysis of Nonlinear Systems (Q2988975) (← links)
- Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification (Q4566878) (← links)
- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems (Q4647849) (← links)
- Guest Editorial: Recent Advances in Control and Verification for Hybrid Systems (Q5221166) (← links)
- Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint (Q5228327) (← links)
- Numerical verification of affine systems with up to a billion dimensions (Q5239215) (← links)
- Abnormal Data Classification Using Time-Frequency Temporal Logic (Q5275337) (← links)
- (Q5375228) (← links)
- Anonymized Reachability of Hybrid Automata Networks (Q5500560) (← links)
- Star-based reachability analysis of deep neural networks (Q6535978) (← links)
- The occupation kernel method for nonlinear system identification (Q6555693) (← links)
