Assalé Adjé

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Set-based value operators for non-stationary and uncertain Markov decision processes	2025-01-08	Paper
Fast and efficient bit-level precision tuning	2022-06-17	Paper
Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games	2021-11-19	Paper
Quadratic maximization of reachable values of affine systems with diagonalizable matrix	2021-06-15	Paper
Proving Properties on PWA Systems Using Copositive and Semidefinite Programming	2020-02-06	Paper
Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems	2018-10-23	Paper
Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs	2018-01-30	Paper
A sums-of-squares extension of policy iterations	2017-10-04	Paper
Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions	2017-07-11	Paper
Policy iteration in finite templates domain	2016-12-16	Paper
Quadratic Zonotopes	2016-01-08	Paper
Overapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions	2015-06-09	Paper
Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs	2015-03-10	Paper
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs	2015-02-04	Paper
Abstract interpretation meets convex optimization	2012-07-13	Paper
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis	2012-04-03	Paper
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis	2010-05-04	Paper

Research outcomes over time

This page was built for person: Assalé Adjé