ARCH21:BibTeX Entries

Volume

@proceedings{ARCH21,
  title     = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{ARCH21:ARCH_COMP21_Category_Report_Continuous,
  author    = {Matthias Althoff and Erika \textbackslash{}'Abrah\textbackslash{}'am and Marcelo Forets and Goran Frehse and Daniel Freire and Christian Schilling and Stefan Schupp and Mark Wetzlinger},
  title     = {ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {1--31},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/81BS},
  doi       = {10.29007/lhbw}}

@inproceedings{ARCH21:ARCH_COMP21_Category_Report_Continuous,
  author    = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Pieter Collins and Parasara Sridhar Duggirala and Marcelo Forets and Edward Kim and Uziel Linares and David P. Sanders and Christian Schilling and Mark Wetzlinger},
  title     = {ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {32--54},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/GWwz},
  doi       = {10.29007/2jw8}}

@inproceedings{ARCH21:ARCH_COMP21_Category_Report_Stochastic,
  author    = {Alessandro Abate and Henk Blom and Marc Bouissou and Nathalie Cauchi and Hassane Chraibi and Joanna Delicaris and Sofie Haesaert and Arnd Hartmanns and Mahmoud Khaled and Abolfazl Lavaei and Hao Ma and Kaushik Mallik and Mathis Niehage and Anne Remke and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Adam Thorpe and Vlad Turcuman and Paolo Zuliani},
  title     = {ARCH-COMP21 Category Report: Stochastic Models},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {55--89},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/GjCj},
  doi       = {10.29007/dprv}}

@inproceedings{ARCH21:ARCH_COMP21_Category_Report_Artificial,
  author    = {Taylor T. Johnson and Diego Manzanas Lopez and Luis Benet and Marcelo Forets and Sebasti\textbackslash{}'an Guadalupe and Christian Schilling and Radoslav Ivanov and Taylor J. Carpenter and James Weimer and Insup Lee},
  title     = {ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {90--119},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Jq4h},
  doi       = {10.29007/kfk9}}

@inproceedings{ARCH21:ARCH_COMP21_Category_Report_Hybrid,
  author    = {Stefan Mitsch and Xiangyu Jin and Bohua Zhan and Shuling Wang and Naijun Zhan},
  title     = {ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {120--132},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/K9GX},
  doi       = {10.29007/35cf}}

@inproceedings{ARCH21:ARCH_COMP_2021_Category_Report,
  author    = {Gidon Ernst and Paolo Arcaini and Ismail Bennani and Aniruddh Chandratre and Alexandre Donz\textbackslash{}'e and Georgios Fainekos and Goran Frehse and Khouloud Gaaloul and Jun Inoue and Tanmay Khandait and Logan Mathesen and Claudio Menghi and Giulia Pedrielli and Marc Pouzet and Masaki Waga and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang},
  title     = {ARCH-COMP 2021 Category Report: Falsification with Validation of Results},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {133--152},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/F4kf},
  doi       = {10.29007/xwl1}}

@inproceedings{ARCH21:ARCH_COMP21_Repeatability_Evaluation_Report,
  author    = {Taylor T. Johnson},
  title     = {ARCH-COMP21 Repeatability Evaluation Report},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {153--160},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cfpN},
  doi       = {10.29007/zqdx}}

@inproceedings{ARCH21:Guaranteed_State_Estimation_in,
  author    = {Matthias Althoff},
  title     = {Guaranteed State Estimation in CORA 2021},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {161--175},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hMPK},
  doi       = {10.29007/7m2k}}

@inproceedings{ARCH21:ORBITADOR_tool_to_analyze,
  author    = {Jawher Jerray},
  title     = {ORBITADOR: A tool to analyze the stability of periodical dynamical systems},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {176--183},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/pv3c},
  doi       = {10.29007/k6xm}}

@inproceedings{ARCH21:Verification_of_Collision_Avoidance,
  author    = {Niklas Kochdumper and Philipp Gassert and Matthias Althoff},
  title     = {Verification of Collision Avoidance for CommonRoad Traffic Scenarios},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {184--194},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cqFP},
  doi       = {10.29007/1973}}

@inproceedings{ARCH21:Temporal_Logic_Falsification_of,
  author    = {Zahra Ramezani and Alexandre Donze and Martin Fabian and Knut \textbackslash{}r\{A\}kesson},
  title     = {Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {195--202},
  year      = {2021},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Xm8C},
  doi       = {10.29007/q4k7}}