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"
}