no code implementations • 15 Jul 2022 • Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açıkmeşe
Leveraging insights from set theory, we generalize the rectangularity condition in classic robust MDP literature to a containment condition for all value operators, which is weaker and can be applied to a larger set of parameter-uncertain MDPs and contracting operators in dynamic programming.
no code implementations • 11 May 2022 • Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
In this context, an elementary brick of computation, used everywhere, is the sum of a sequence of numbers.
no code implementations • 26 May 2020 • Raphaël Cohen, Eric Féron, Pierre-Loïc Garoche
This article discusses the formal verification of the Ellipsoid method, a convex optimization algorithm, and its code implementation as it applies to receding horizon control.