@inproceedings{GerettiAlexandreDitSandrettoAlthoffetal.2020, author = {Geretti, Luca and Alexandre Dit Sandretto, Julien and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Collins, Pieter and Forets, Marcelo and Freire, Daniel and Immler, Fabian and Kochdumper, Niklas and Sanders, David P. and Schilling, Christian}, title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics}, volume = {74}, booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)}, editor = {Frehse, Goran and Althoff, Matthias}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/zkf6}, pages = {49 -- 75}, year = {2020}, language = {en} } @inproceedings{AlthoffBakBaoetal.2020, author = {Althoff, Matthias and Bak, Stanley and Bao, Zongnan and Forets, Marcelo and Frehse, Goran and Freire, Daniel and Kochdumper, Niklas and Li, Yangge and Mitra, Sayan and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan and Wetzlinger, Mark}, title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics}, volume = {74}, booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)}, editor = {Frehse, Goran and Althoff, Matthias}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/7dt2}, pages = {16 -- 48}, year = {2020}, language = {en} } @inproceedings{AlthoffBakChenetal.2018, author = {Althoff, Matthias and Bak, Stanley and Chen, Xin and Fan, Chuchu and Forets, Marcelo and Frehse, Goran and Kochdumper, Niklas and Li, Yangge and Mitra, Sayan and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan}, title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics}, volume = {54}, booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems}, editor = {Frehse, Goran}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/73mb}, pages = {23 -- 52}, year = {2018}, language = {en} } @inproceedings{ImmlerAlthoffBenetetal.2019, author = {Immler, Fabian and Althoff, Matthias and Benet, Luis and Chapoutot, Alexandre and Chen, Xin and Forets, Marcelo and Geretti, Luca and Kochdumper, Niklas and Sanders, David P. and Schilling, Christian}, title = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics}, volume = {61}, booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems}, editor = {Frehse, Goran and Althoff, Matthias}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/m75b}, pages = {41 -- 61}, year = {2019}, language = {en} } @inproceedings{AlthoffBakForetsetal.2019, author = {Althoff, Matthias and Bak, Stanley and Forets, Marcelo and Frehse, Goran and Kochdumper, Niklas and Ray, Rajarshi and Schilling, Christian and Schupp, Stefan}, title = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics}, volume = {61}, booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems}, editor = {Frehse, Goran and Althoff, Matthias}, publisher = {EasyChair}, address = {Bramhall}, issn = {2398-7340}, doi = {https://doi.org/10.29007/bj1w}, pages = {14 -- 40}, year = {2019}, language = {en} }