The following pages link to Lei Bu (Q479817):
Displaying 8 items.
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Machine learning steered symbolic execution framework for complex software code (Q2050084) (← links)
- Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming (Q2864385) (← links)
- (Q3410490) (← links)
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (Q3656877) (← links)
- (Q4956833) (← links)
- Loop reduction techniques for reachability analysis of linear hybrid automata (Q5046494) (← links)
- Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure (Q5346080) (← links)
