research
∙
07/28/2023
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations
We raise concerns about controllers' robustness in simple reinforcement ...
share
research
∙
11/11/2021
Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
A computer-assisted argument is given, which provides existence proofs f...
research
∙
03/23/2021
A geometric characterization of unstable blow-up solutions with computer-assisted proof
In this paper, blow-up solutions of autonomous ordinary differential equ...
research
∙
02/03/2021
Microscopic Patterns in the 2D Phase-Field-Crystal Model
Using the recently developed theory of rigorously validated numerics, we...
research
∙
01/03/2021
Validated forward integration scheme for parabolic PDEs via Chebyshev series
In this paper we introduce a new approach to compute rigorously solution...
research
∙
06/23/2020