Analysis of a Target-Based Actor-Critic Algorithm with Linear Function Approximation. - Anas Barakat; Pascal Bianchi; Julien Lehmann (AISTATS, 2022)

Neural Network Verification with PyRAT. - Augustin Lemesle; Julien Lehmann; Tristan Le Gall (CoRR, 2024)