The following pages link to Ting Gan (Q507351):
Displayed 7 items.
- Barrier certificates revisited (Q507352) (← links)
- Nonlinear Craig interpolant generation (Q2225119) (← links)
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (Q2817919) (← links)
- Decidability of the Reachability for a Family of Linear Vector Fields (Q3460586) (← links)
- Reachability Analysis for Solvable Dynamical Systems (Q4682245) (← links)
- Switching controller synthesis for time-delayed hybrid systems (Q5064257) (← links)
- Switching controller synthesis for delay hybrid systems under perturbations (Q6201580) (← links)