figshare
Browse

sorry, we can't preview this file

CAV2021.ova (3.24 GB)

SceneChecker: Boosting Scenario Verification using Symmetry Abstractions

Download (3.24 GB)
Version 10 2021-05-12, 00:21
Version 9 2021-05-11, 20:40
Version 8 2021-05-11, 19:50
Version 7 2021-05-11, 10:36
Version 6 2021-05-10, 05:44
Version 5 2021-05-09, 03:24
Version 4 2021-05-07, 19:31
Version 3 2021-04-29, 12:00
Version 2 2021-04-29, 07:38
Version 1 2021-04-29, 07:38
software
posted on 2021-05-12, 00:21 authored by Hussein SibaiHussein Sibai, Yangge LiYangge Li, Sayan Mitra
This is a Python3-based software tool for scenario verfication. It has been submitted as a software artifact for the paper "SceneChecker: Boosting Scenario Verification using Symmetry Abstractions" in CAV 2021 by the same authors.

History