The following pages link to Stanley Bak (Q296101):
Displaying 21 items.
- A comparison of approaches for finding minimum identifying codes on graphs (Q296102) (← links)
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- Time-triggered conversion of guards for reachability analysis of hybrid automata (Q1683445) (← links)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (Q1982635) (← links)
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
- Simulation-equivalent reachability of large linear systems with inputs (Q2151263) (← links)
- Verification of deep convolutional neural networks using ImageStars (Q2225072) (← links)
- Improved geometric path enumeration for verifying ReLU neural networks (Q2225077) (← links)
- Memory-centric scheduling for multicore hard real-time systems (Q2251351) (← links)
- Global Real-Time Memory-Centric Scheduling for Multicore Systems (Q2985287) (← links)
- HYST (Q2988924) (← links)
- Scalable Static Hybridization Methods for Analysis of Nonlinear Systems (Q2988975) (← links)
- Some Improvements for the Fast Sweeping Method (Q3006144) (← links)
- A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions (Q3116440) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Numerical verification of affine systems with up to a billion dimensions (Q5239215) (← links)
- Real-Time I/O Management System with COTS Peripherals (Q5274265) (← links)
- Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets (Q6199955) (← links)
- Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis (Q6581256) (← links)
- The hexatope and octatope abstract domains for neural network verification (Q6661753) (← links)
