Search Results for author:
Found 2 papers, 0 papers with code
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
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.
A first-order logic characterization of safety and co-safety languages
Moreover, we prove that, when interpreted over finite words, SafetyLTL (resp.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
