Assalé Adjé

ORCID

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 11

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
Set-based value operators for non-stationary Markovian environments. CoRR (2022)
Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
Fast and Efficient Bit-Level Precision Tuning. CoRR (2021)
Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games. Autom. 130 (2021)
Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
Fast and Efficient Bit-Level Precision Tuning. SAS (2021)
Assalé Adjé
Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix. J. Optim. Theory Appl. 189 (1) (2021)
Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
Fixed Points of the Set-Based Bellman Operator. CoRR (2020)
Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
Bounding Fixed Points of Set-Based Bellman Operator and Nash Equilibria of Stochastic Games. CoRR (2020)
Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. FTSCS (2019)
Assalé Adjé, Pierre-Loïc Garoche
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. Comput. Lang. Syst. Struct. 47 (2017)
Assalé Adjé
Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions. HSCC (2017)
Assalé Adjé
Proving Properties on PWA Systems Using Copositive and Semidefinite Programming. NSV@CAV (2016)
Assalé Adjé
Coupling Policy Iteration with Piecewise Quadratic Lyapunov Functions to Overapproximate the Reachable Values Set of Piecewise Affine Discrete-Time Dynamical Systems. CoRR (2015)
Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. APLAS (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. SAS (2015)
Assalé Adjé
Policy Iteration in Finite Templates Domain. Electron. Notes Theor. Comput. Sci. 317 (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. CoRR (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
A Sums-of-Squares Extension of Policy Iterations. CoRR (2015)
Assalé Adjé, Pierre-Loïc Garoche
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. VMCAI (2015)
Assalé Adjé, Pierre-Loïc Garoche
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. CoRR (2014)
Assalé Adjé, Victor Magron
Polynomial Template Generation using Sum-of-Squares Programming. CoRR (2014)
Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics. CoRR (2014)
Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE (2013)
Assalé Adjé, Stéphane Gaubert, Eric Goubault
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis Log. Methods Comput. Sci. 8 (1) (2012)
Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault
Abstract interpretation meets convex optimization. J. Symb. Comput. 47 (12) (2012)
Assalé Adjé, Jean Goubault-Larrecq
Concrete Semantics of Programs with Non-Deterministic and Random Inputs CoRR (2012)
Assalé Adjé, Stéphane Gaubert, Eric Goubault
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP (2010)

Assalé Adjé.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Assalé Adjé