Goyal, Srajan Kumar

Goyal, Srajan Kumar  

FM  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems 1-gen-2023 Goyal, Srajan; Griggio, Alberto; Kimblad, Jacob; Tonetta, Stefano
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems 1-gen-2025 Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 1-gen-2023 Bozzano, Marco; Bussola, Riccardo; Cristoforetti, Marco; Goyal, Srajan; Jonas, Martin; Kapellos, Konstantinos; Micheli, Andrea; Soldà, Davide; Tonetta, Stefano; Tranoris, Christos; Valentini, Alessandro
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator 1-gen-2025 Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano