Srajan Kumar Goyal

Publications

1. Goyal Srajan; Griggio Alberto; Tonetta Stefano, Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems
2. Goyal Srajan; Griggio Alberto; Tonetta Stefano, System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
3. Goyal Srajan; Griggio Alberto; Kimblad Jacob; Tonetta Stefano, Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
4. Bozzano Marco; Bussola Riccardo; Cristoforetti Marco; Goyal Srajan; Jonas Martin; Kapellos Konstantinos; Micheli Andrea; Soldà Davide; Tonetta Stefano; Tranoris Christos; Valentini Alessandro, RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets