The following pages link to Assalé Adjé (Q435968):
Displayed 16 items.
- Abstract interpretation meets convex optimization (Q435969) (← links)
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342) (← links)
- Quadratic maximization of reachable values of affine systems with diagonalizable matrix (Q2032024) (← links)
- Fast and efficient bit-level precision tuning (Q2145313) (← links)
- Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs (Q2260413) (← links)
- A sums-of-squares extension of policy iterations (Q2406948) (← links)
- Policy iteration in finite templates domain (Q2520672) (← links)
- Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games (Q2665331) (← links)
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis (Q2881067) (← links)
- Quadratic Zonotopes (Q3460904) (← links)
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (Q3558213) (← links)
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (Q5172637) (← links)
- Proving Properties on PWA Systems Using Copositive and Semidefinite Programming (Q5213975) (← links)
- Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions (Q5275327) (← links)
- Overapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions (Q6262516) (← links)
- Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems (Q6308641) (← links)