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

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

References

https://arxiv.org/abs/2011.10713

Usage metrics

Keywords

Hybrid systems safety verification symmetry Autonomous Vehicles Automation and Control Engineering Computer Engineering Control Systems, Robotics and Automation

Licence

MIT