Search Results for author: Alberto Griggio

Found 2 papers, 0 papers with code

Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems

no code implementations16 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.

Autonomous Driving

Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories

no code implementations16 Jan 2014 Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani

In this paper we present a novel approach to this problem, called the Lemma-Lifting approach.

LEMMA

Cannot find the paper you are looking for? You can Submit a new open access paper.