Volume
@proceedings{ARCH-COMP24,
title = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2024}}
Papers
@inproceedings{ARCH-COMP24:ARCH_COMP24_Category_Report,
author = {Lei Bu and Atanu Kundu and Rajarshi Ray and Yuhui Shi},
title = {ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking},
booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZSb4},
doi = {10.29007/nv67},
pages = {1-14},
year = {2024}}
@inproceedings{ARCH-COMP24:ARCH_COMP24_Category_Report,
author = {Matthias Althoff and Marcelo Forets and Christian Schilling and Mark Wetzlinger},
title = {ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XLNx},
doi = {10.29007/7xf3},
pages = {15-38},
year = {2024}}
@inproceedings{ARCH-COMP24:ARCH_COMP24_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 Christian Schilling and Joris Tillet and Mark Wetzlinger},
title = {ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/QD5d},
doi = {10.29007/21ch},
pages = {39-63},
year = {2024}}
@inproceedings{ARCH-COMP24:ARCH_COMP24_Category_Report,
author = {Diego Manzanas Lopez and Matthias Althoff and Luis Benet and Clemens Blab and Marcelo Forets and Yuhao Jia and Taylor T Johnson and Manuel Kranzl and Tobias Ladner and Lukas Linauer and Philipp Neubauer and Sophie Neubauer and Christian Schilling and Huan Zhang and Xiangru Zhong},
title = {ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/WsgX},
doi = {10.29007/mxld},
pages = {64-121},
year = {2024}}
@inproceedings{ARCH-COMP24:ARCH_COMP_2024_Category,
author = {Tanmay Khandait and Federico Formica and Paolo Arcaini and Surdeep Chotaliya and Georgios Fainekos and Abdelrahman Hekal and Atanu Kundu and Ethan Lew and Michele Loreti and Claudio Menghi and Laura Nenzi and Giulia Pedrielli and Jarkko Peltomäki and Ivan Porres and Rajarshi Ray and Valentin Soloviev and Ennio Visconti and Masaki Waga and Zhenya Zhang},
title = {ARCH-COMP 2024 Category Report: Falsification},
booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/fKVR},
doi = {10.29007/hgfv},
pages = {122-144},
year = {2024}}
@inproceedings{ARCH-COMP24:Stability_Verification_Industrial_Switched,
author = {Stylianos Basagiannis and Ludovico Battista and Anna Becchi and Alessandro Cimatti and Georgios Giantamidis and Sergio Mover and Alberto Tacchella and Stefano Tonetta and Vassilios Tsachouridis},
title = {Stability Verification of an Industrial Switched PI Control Systems},
booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/WCdZ},
doi = {10.29007/nxhj},
pages = {145-152},
year = {2024}}
@inproceedings{ARCH-COMP24:Randomized_Generation_Arbitrarily_Difficult,
author = {Mark Wetzlinger and Matthias Althoff},
title = {Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems},
booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/NBt4},
doi = {10.29007/psh7},
pages = {153-162},
year = {2024}}
@inproceedings{ARCH-COMP24:Implementation_Polyhedral_Operations_CORA,
author = {Mark Wetzlinger and Viktor Kotsev and Adrian Kulmburg and Matthias Althoff},
title = {Implementation of Polyhedral Operations in CORA 2024},
booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {103},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/81TW},
doi = {10.29007/wb9s},
pages = {163-181},
year = {2024}}
