sorry, we can't preview this file

...but you can still download CAV2021.ova
CAV2021.ova (3.24 GB)

SceneChecker: Boosting Scenario Verification using Symmetry Abstractions

Download (3.24 GB)
software
posted on 12.05.2021, 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