Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking | Publicación