no code implementations • 16 Nov 2023 • Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta
The results show the effectiveness of VIVAS in automatically generating scenarios for system-level simulation-based V&V of an automated driving system using CARLA and ScenarioRunner.
no code implementations • 16 Jan 2014 • Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
In this paper we present a novel approach to this problem, called the Lemma-Lifting approach.