Pierre-Loïc Garoche

Available identifiers

zbMath Open garoche.pierre-loicMaRDI QIDQ681341

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
Computation of invariant sets for discrete‐time uncertain systems	2024-03-12	Paper
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications	2024-02-21	Paper
Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach	2023-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q5015367	2021-12-07	Paper
Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games	2021-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4997233	2021-06-28	Paper
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation	2021-05-25	Paper
Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint	2021-02-25	Paper
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems	2019-08-30	Paper
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm	2019-07-04	Paper
Automated analysis of Stateflow models	2019-01-10	Paper
Formal Verification of Control Systems Software	2018-11-09	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
Credible autocoding of convex optimization algorithms	2017-06-21	Paper
Formal Analysis of Robustness at Model and Code Level	2017-05-19	Paper
Closed loop analysis of control command software	2017-05-19	Paper
A generic ellipsoid abstract domain for linear time invariant systems	2017-05-16	Paper
Quadratic Zonotopes	2016-01-08	Paper
Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case	2015-10-30	Paper
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs	2015-02-04	Paper
Integrating Policy Iterations in Abstract Interpreters	2014-07-08	Paper

Research outcomes over time

This page was built for person: Pierre-Loïc Garoche