Volume
@proceedings{ARCH26,
title = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2026}}
Papers
@inproceedings{ARCH26:SpaceEx_Hybrid_Models_with,
author = {Ludovico Battista and Stefano Tonetta and Gianni Zampedri},
title = {SpaceEx Hybrid Models with LTL Properties},
booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nP2j},
doi = {10.29007/d41t},
pages = {1-10},
year = {2026}}
@inproceedings{ARCH26:ARCH_COMP26_Category_Report,
author = {Lei Bu and Atanu Kundu and Rajarshi Ray and Rayan Mazouz and Yuhui Shi},
title = {ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking},
booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/F1Dn},
doi = {10.29007/sq6n},
pages = {11-27},
year = {2026}}
@inproceedings{ARCH26:ARCH_COMP26_Category_Report,
author = {Matthias Althoff and Alessandro Carraro and Marcelo Forets and Maximilian Perschl and Christian Schilling},
title = {ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hFjB},
doi = {10.29007/14t7},
pages = {28-51},
year = {2026}}
@inproceedings{ARCH26:ARCH_COMP26_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 Maximilian Perschl and Christian Schilling and Joris Tillet and Ben Wooding},
title = {ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2Zsc},
doi = {10.29007/f5l7},
pages = {52-84},
year = {2026}}
@inproceedings{ARCH26:ARCH_COMP26_Category_Report,
author = {Samuel Sasaki and Ben Wooding and Taylor T. Johnson and Matthias Althoff and Luis Benet and Samuel Coogan and Marcelo Forets and Akash Harapanahalli and Lukas Koller and Tobias Ladner and Christian Schilling and Huan Zhang and Xiangru Zhong},
title = {ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/GsKW},
doi = {10.29007/637n},
pages = {85-130},
year = {2026}}
@inproceedings{ARCH26:ARCH_COMP26_Category_Report,
author = {Stefan Mitsch and Xiangyu Jin and Shuling Wang and Bohua Zhan},
title = {ARCH-COMP26 Category Report: Hybrid Systems Theorem Proving},
booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/jNHc},
doi = {10.29007/hvgv},
pages = {131-144},
year = {2026}}
@inproceedings{ARCH26:ARCH_COMP26_Category_Report,
author = {Tanmay Khandait and Paolo Arcaini and Georgios Fainekos and Federico Formica and Sauvik Gon and Ali Kaya and Atanu Kundu and Deyun Lyu and Claudio Menghi and Giulia Pedrielli and Ivan Porres and Rajarshi Ray and Quinn Thibeault and Masaki Waga and Zhenya Zhang},
title = {ARCH-COMP26 Category Report: Falsification},
booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/DtZ3},
doi = {10.29007/f26d},
pages = {145-165},
year = {2026}}
@inproceedings{ARCH26:ARCH_COMP26_Repeatability_Evaluation,
author = {Nico Holzinger and Tobias Ladner},
title = {ARCH-COMP26 Repeatability Evaluation Report},
booktitle = {Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff and Luca Geretti},
series = {EPiC Series in Computing},
volume = {110},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZMzc},
doi = {10.29007/bdcf},
pages = {166-170},
year = {2026}}
