Work

Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking

Year: 2025

Type: conference-paper

Source: Lecture notes in electrical engineering

DOI: 10.1007/978-3-031-84100-2_17

Authors: Francesco Bellotti, Riccardo Berta, Vafali Soltanmuradov, David Martín Gómez, Akshay Dhonthi, Vahid Hashemi, Luca Lazzaroni

Institutions: University of Genoa, Universidad Carlos III de Madrid, Audi (Germany)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4408216285

FWCI:

Cites: 22

Cited by:

Related to: 10