4 papers
Synthesis of Safety Specifications for Probabilistic Systems
Gaspard Ohlmann, Edwin Hamel-De le Court, Francesco Belardinelli
Ensuring that agents satisfy safety specifications can be crucial in safety-critical environments. While methods exist for controller synthesis with safe temporal specifications, m…
ProSh: Probabilistic Shielding for Model-free Reinforcement Learning
Edwin Hamel-De le Court, Gaspard Ohlmann, Francesco Belardinelli
Safety is a major concern in reinforcement learning (RL): we aim at developing RL systems that not only perform optimally, but are also safe to deploy by providing formal guarantee…
Scattering of Rational Solutions to the Half-Wave Maps Equation
Gaspard Ohlmann
This article studies the rational solutions of the Half-Wave Maps equation (HWM) in the non-singular spectrum case. We first provide characterizations to what we call \emph{scatter…
Half-Wave Maps: Explicit Formulas for Rational Functions with Simple Poles
Gaspard Ohlmann
We establish an explicit formula for the Half-Wave maps equation for rational functions with simple poles. The Lax pair provides a description of the evolution of the poles. By con…