Assalé Adjé

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Assalé Adjé