Volume
@proceedings{ARCH25,
title = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2025}}
Papers
@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
author = {Lei Bu and Atanu Kundu and Rajarshi Ray and Yuhui Shi},
title = {ARCH-COMP25 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking},
booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2Sd3},
doi = {10.29007/x3nv},
pages = {1-14},
year = {2025}}
@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
author = {Matthias Althoff and Marcelo Forets and Maximilian Perschl and Christian Schilling},
title = {ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/jvwP},
doi = {10.29007/z3g7},
pages = {15-38},
year = {2025}}
@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
author = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Pieter Collins and Marcelo Forets and Stefan Mitsch and Ismail Patel and Maximilian Perschl and Christian Schilling and Joris Tillet},
title = {ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/m9FM},
doi = {10.29007/7br2},
pages = {39-70},
year = {2025}}
@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
author = {Diego Manzanas Lopez and Matthias Althoff and Luis Benet and Samuel Coogan and Marcelo Forets and Akash Harapanahalli and Taylor T. Johnson and Tobias Ladner and Christian Schilling and Huan Zhang and Xiangru Zhong},
title = {ARCH-COMP25 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Gc39},
doi = {10.29007/9vg6},
pages = {71-121},
year = {2025}}
@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
author = {Alessandro Abate and Omid Akbarzadeh and Henk A.P. Blom and Sofie Haesaert and Sina Hassani and Abolfazl Lavaei and Frederik Baymler Mathiesen and Rahul Misra and Amy Nejati and Mathis Niehage and Fie Ørum and Anne Remke and Behrad Samari and Ruohan Wang and Rafal Wisniewski and Ben Wooding and Mahdieh Zaker},
title = {ARCH-COMP25 Category Report: Stochastic Models},
booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ck2r},
doi = {10.29007/mfm4},
pages = {122-151},
year = {2025}}
@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
author = {Stefan Mitsch and Ismail Patel and Hari Hara Sudhan Kannan and Xiangyu Jin and Bohua Zhan and Shuling Wang},
title = {ARCH-COMP25 Category Report: Hybrid Systems Theorem Proving},
booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZlZZ},
doi = {10.29007/pd1w},
pages = {152-168},
year = {2025}}
@inproceedings{ARCH25:ARCH_COMP25_Category_Report,
author = {Tanmay Khandait and Deyun Lyu and Paolo Arcaini and Georgios Fainekos and Federico Formica and Sauvik Gon and Abdelrahman Hekal and Atanu Kundu and Claudio Menghi and Giulia Pedrielli and Rajarshi Ray and Quinn Thibeault and Masaki Waga and Zhenya Zhang},
title = {ARCH-COMP25 Category Report: Falsification},
booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xX5W},
doi = {10.29007/dgnn},
pages = {169-189},
year = {2025}}
@inproceedings{ARCH25:ARCH_COMP25_Repeatability_Evaluation,
author = {Tobias Ladner},
title = {ARCH-COMP25 Repeatability Evaluation Report},
booktitle = {Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {108},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/rH6M},
doi = {10.29007/b6nl},
pages = {190-194},
year = {2025}}
