Bibtex Entry:
@InProceedings{ 10.1007/978-3-030-81685-8_28, author="Sibai, Hussein and Li, Yangge and Mitra, Sayan", editor="Silva, Alexandra and Leino, K. Rustan M.", title="SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions", booktitle="Computer Aided Verification", year="2021", publisher="Springer International Publishing", address="Cham", pages="580--594", isbn="978-3-030-81685-8" }