Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix von Adjé, Assalé

Volltext

Set-based value operators for non-stationary and uncertain Markov decision processes von Li, Sarah H.Q., Adjé, Assalé, Garoche, Pierre-Loïc, Açıkmeşe, Behçet

Volltext

Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games von Li, Sarah H.Q., Adjé, Assalé, Garoche, Pierre-Loïc, Açıkmeşe, Behçet

Volltext

Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs von Adjé, Assalé, Gaubert, Stéphane, Goubault, Eric

Volltext

Fast and Efficient Bit-Level Precision Tuning von Adjé, Assalé, Ben Khalifa, Dorra, Martel, Matthieu

Volltext

Proving Properties on PWA Systems Using Copositive and Semidefinite Programming von Adjé, Assalé

Volltext

A Sums-of-Squares extension of policy iterations von Adjé, Assalé, Garoche, Pierre-Loïc, Magron, Victor

Volltext

Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs von Adjé, Assalé, Garoche, Pierre-Loïc

Volltext

Abstract interpretation meets convex optimization von Gawlitza, Thomas Martin, Seidl, Helmut, Adjé, Assalé, Gaubert, Stéphane, Goubault, Éric

Volltext

Quadratic Zonotopes: An Extension of Zonotopes to Quadratic Arithmetics von Adjé, Assalé, Garoche, Pierre-Loïc, Werey, Alexis

Volltext

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis von Adjé, Assalé, Gaubert, Stéphane, Goubault, Eric

Volltext

Policy Iteration in Finite Templates Domain von Adjé, Assalé

Volltext

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization von Adjé, Assalé, Garoche, Pierre-Loïc, Magron, Victor

Volltext

Extensions of $\mathcal{KL}$ and Lyapunov Functions for Discrete-time Dynamical System Peaks Analysis von Adjé, Assalé

Volltext bestellen

A Parametric Optimization Point-Of-View of Comparison Functions von Adjé, Assalé

Volltext bestellen

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs von Adjé, Assalé, Garoche, Pierre-Loïc

Volltext

Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis von Adjé, Assalé, Gaubert, Stéphane, Goubault, Eric

Volltext

Extensions of \(\mathcal{KL}\) and Lyapunov Functions for Discrete-time Dynamical System Peaks Analysis von Adjé, Assalé

Volltext

A Parametric Optimization Point-Of-View of Comparison Functions von Adjé, Assalé

Volltext

Quadratic Maximization over the Reachable Values Set of a Convergent Discrete-time Affine System : The diagonalizable case von Adjé, Assalé

Volltext bestellen