Volume
@proceedings{ARCH22,
title = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2022}}
Papers
@inproceedings{ARCH22:Implementation_Ellipsoidal_Operations_CORA,
author = {Victor Gaßmann and Matthias Althoff},
title = {Implementation of Ellipsoidal Operations in CORA 2022},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8hnJ},
doi = {10.29007/p328},
pages = {1-17},
year = {2022}}
@inproceedings{ARCH22:Two_Simulink_Models_with,
author = {Mostafa Ayesh and Namya Mehan and Ethan Dhanraj and Abdul El-Rahwan and Simon Emil Opalka and Tony Fan and Akil Hamilton and Akshay Mathews Jacob and Rahul Anthony Sundarrajan and Bryan Widjaja and Claudio Menghi},
title = {Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/QZcD},
doi = {10.29007/f57w},
pages = {18-25},
year = {2022}}
@inproceedings{ARCH22:Benchmarks_Formal_Verification_Power,
author = {Matthias Althoff},
title = {Benchmarks for the Formal Verification of Power Systems},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8Tcg},
doi = {10.29007/tg4s},
pages = {26-43},
year = {2022}}
@inproceedings{ARCH22:ARCH_COMP22_Category_Report,
author = {Lei Bu and Goran Frehse and Atanu Kundu and Rajarshi Ray and Yuhui Shi and Enea Zaffanella},
title = {ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/22kG},
doi = {10.29007/lnzf},
pages = {44-57},
year = {2022}}
@inproceedings{ARCH22:ARCH_COMP22_Category_Report,
author = {Matthias Althoff and Marcelo Forets and Christian Schilling and Mark Wetzlinger},
title = {ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/b6cN},
doi = {10.29007/mmzc},
pages = {58-85},
year = {2022}}
@inproceedings{ARCH22:ARCH_COMP22_Category_Report,
author = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Pieter Collins and Parasara Duggirala and Marcelo Forets and Edward Kim and Stefan Mitsch and Christian Schilling and Mark Wetzlinger},
title = {ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/JrQ4},
doi = {10.29007/fnzc},
pages = {86-112},
year = {2022}}
@inproceedings{ARCH22:ARCH_COMP22_Category_Report,
author = {Alessandro Abate and Henk Blom and Joanna Delicaris and Sofie Haesaert and Arnd Hartmanns and Birgit van Huijgevoort and Abolfazl Lavaei and Hao Ma and Mathis Niehage and Anne Remke and Oliver Schön and Stefan Schupp and Sadegh Soudjani and Lisa Willemsen},
title = {ARCH-COMP22 Category Report: Stochastic Models},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Nzr4},
doi = {10.29007/lsvc},
pages = {113-141},
year = {2022}}
@inproceedings{ARCH22:ARCH_COMP22_Category_Report,
author = {Diego Manzanas Lopez and Matthias Althoff and Luis Benet and Xin Chen and Jiameng Fan and Marcelo Forets and Chao Huang and Taylor T Johnson and Tobias Ladner and Wenchao Li and Christian Schilling and Qi Zhu},
title = {ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/C1J8},
doi = {10.29007/wfgr},
pages = {142-184},
year = {2022}}
@inproceedings{ARCH22:ARCH_COMP22_Category_Report,
author = {Stefan Mitsch and Bohua Zhan and Huanhuan Sheng and Alexander Bentkamp and Xiangyu Jin and Shuling Wang and Simon Foster and Christian Pardillo Laursen and Jonathan Julián Huerta Y Munive},
title = {ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/JB8Q},
doi = {10.29007/4lxf},
pages = {185-203},
year = {2022}}
@inproceedings{ARCH22:ARCH_COMP_2022_Category,
author = {Gidon Ernst and Paolo Arcaini and Georgios Fainekos and Federico Formica and Jun Inoue and Tanmay Khandait and Mohammad Mahdi Mahboob and Claudio Menghi and Giulia Pedrielli and Masaki Waga and Yoriyuki Yamagata and Zhenya Zhang},
title = {ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/fRB5},
doi = {10.29007/fhnk},
pages = {204-221},
year = {2022}}
@inproceedings{ARCH22:ARCH_COMP22_Repeatability_Evaluation,
author = {Taylor T Johnson},
title = {ARCH-COMP22 Repeatability Evaluation Report},
booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
editor = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
series = {EPiC Series in Computing},
volume = {90},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/LnDH},
doi = {10.29007/djqx},
pages = {222-230},
year = {2022}}
