Volume
@proceedings{ARCH23,
title = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}Papers
@inproceedings{ARCH23:Closed_Loop_ACAS_Xu_Neural,
author = {Sanaz Sheikhi and Stanley Bak},
title = {Closed-Loop ACAS Xu Neural Network Verification},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {1--8},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mmSLW},
doi = {10.29007/vf8z}}
@inproceedings{ARCH23:Checking_and_Establishing_Reachset,
author = {Matthias Althoff},
title = {Checking and Establishing Reachset Conformance in CORA 2023},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {9--33},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Zmbv},
doi = {10.29007/5v1g}}
@inproceedings{ARCH23:ARCH_COMP23_Category_Report_Continuous,
author = {Matthias Althoff and Marcelo Forets and Yangge Li and Sayan Mitra and Christian Schilling and Mark Wetzlinger and Daniel Zhuang},
title = {ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {34--60},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hzQJ},
doi = {10.29007/nl86}}
@inproceedings{ARCH23:ARCH_COMP23_Category_Report_Continuous,
author = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Pieter Collins and Marcelo Forets and Elena Ivanova and Yangge Li and Sayan Mitra and Stefan Mitsch and Christian Schilling and Mark Wetzlinger and Daniel Zhuang},
title = {ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {61--88},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/T7LG},
doi = {10.29007/93f2}}
@inproceedings{ARCH23:ARCH_COMP23_Category_Report_Artificial,
author = {Diego Manzanas Lopez and Matthias Althoff and Marcelo Forets and Taylor T Johnson and Tobias Ladner and Christian Schilling},
title = {ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {89--125},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Vfq4b},
doi = {10.29007/x38n}}
@inproceedings{ARCH23:ARCH_COMP23_Category_Report_Stochastic,
author = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Joanna Delicaris and Sofie Haesaert and Birgit van Huijgevoort and Abolfazl Lavaei and Anne Remke and Oliver Sch\textbackslash{}"on and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Lisa Willemsen and Paolo Zuliani},
title = {ARCH-COMP23 Category Report: Stochastic Models},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {126--150},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xZ8M},
doi = {10.29007/k7s6}}
@inproceedings{ARCH23:ARCH_COMP23_Category_Report_Falsification,
author = {Claudio Menghi and Paolo Arcaini and Walstan Baptista and Gidon Ernst and Georgios Fainekos and Federico Formica and Sauvik Gon and Tanmay Khandait and Atanu Kundu and Giulia Pedrielli and Jarkko Peltom\textbackslash{}"aki and Ivan Porres and Rajarshi Ray and Masaki Waga and Zhenya Zhang},
title = {ARCH-COMP23 Category Report: Falsification},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {151--169},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wFh9},
doi = {10.29007/6nqs}}
@inproceedings{ARCH23:ARCH_COMP23_Category_Report_Hybrid,
author = {Stefan Mitsch and Huanhuan Sheng and Bohua Zhan and Shuling Wang and Simon Foster and Jonathan Julian Huerta Y Munive},
title = {ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {170--188},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TtcQ},
doi = {10.29007/57g4}}
@inproceedings{ARCH23:ARCH_COMP23_Repeatability_Evaluation_Report,
author = {Taylor T Johnson},
title = {ARCH-COMP23 Repeatability Evaluation Report},
booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {96},
pages = {189--195},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TdVx},
doi = {10.29007/q313}}
