The following pages link to Paul B. Jackson (Q2331076):
Displaying 9 items.
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- (Q2754052) (← links)
- A Method for Invariant Generation for Polynomial Continuous Systems (Q2796055) (← links)
- A Compact Linear Translation for Bounded Model Checking (Q2864381) (← links)
- Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase (Q2904452) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- (Q4028157) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Theory and Applications of Satisfiability Testing (Q5714750) (← links)
