Volume
@proceedings{ARCH20,
title = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2020}}
Papers
@inproceedings{ARCH20:ARCH_COMP20_Category_Report,
author = {Lei Bu and Alessandro Abate and Dieky Adzkiya and Muhammad Syifa'Ul Mufid and Rajarshi Ray and Yuming Wu and Enea Zaffanella},
title = {ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/9xtZ},
doi = {10.29007/bhwx},
pages = {1-15},
year = {2020}}
@inproceedings{ARCH20:ARCH_COMP20_Category_Report,
author = {Matthias Althoff and Stanley Bak and Zongnan Bao and Marcelo Forets and Goran Frehse and Daniel Freire and Niklas Kochdumper and Yangge Li and Sayan Mitra and Rajarshi Ray and Christian Schilling and Stefan Schupp and Mark Wetzlinger},
title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/DRpS},
doi = {10.29007/7dt2},
pages = {16-48},
year = {2020}}
@inproceedings{ARCH20:ARCH_COMP20_Category_Report,
author = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Xin Chen and Pieter Collins and Marcelo Forets and Daniel Freire and Fabian Immler and Niklas Kochdumper and David P. Sanders and Christian Schilling},
title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nrdD},
doi = {10.29007/zkf6},
pages = {49-75},
year = {2020}}
@inproceedings{ARCH20:ARCH_COMP20_Category_Report,
author = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Joanna Delicaris and Arnd Hartmanns and Mahmoud Khaled and Abolfazl Lavaei and Carina Pilch and Anne Remke and Stefan Schupp and Fedor Shmarov and Sadegh Soudjani and Abraham Vinod and Ben Wooding and Majid Zamani and Paolo Zuliani},
title = {ARCH-COMP20 Category Report: Stochastic Models},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/VLXl},
doi = {10.29007/mqzc},
pages = {76-106},
year = {2020}}
@inproceedings{ARCH20:ARCH_COMP20_Category_Report,
author = {Taylor T Johnson and Diego Manzanas Lopez and Patrick Musau and Hoang-Dung Tran and Elena Botoeva and Francesco Leofante and Amir Maleki and Chelsea Sidrane and Jiameng Fan and Chao Huang},
title = {ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Jvwg},
doi = {10.29007/9xgv},
pages = {107-139},
year = {2020}}
@inproceedings{ARCH20:ARCH_COMP_2020_Category,
author = {Gidon Ernst and Paolo Arcaini and Ismail Bennani and Alexandre Donze and Georgios Fainekos and Goran Frehse and Logan Mathesen and Claudio Menghi and Giulia Pedrielli and Marc Pouzet and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang},
title = {ARCH-COMP 2020 Category Report: Falsification},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ps5t},
doi = {10.29007/trr1},
pages = {140-152},
year = {2020}}
@inproceedings{ARCH20:ARCH_COMP20_Category_Report,
author = {Stefan Mitsch and Jonathan Julián Huerta Y Munive and Xiangyu Jin and Bohua Zhan and Shuling Wang and Naijun Zhan},
title = {ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2zHg},
doi = {10.29007/bdq9},
pages = {153-174},
year = {2020}}
@inproceedings{ARCH20:ARCH_COMP20_Repeatability_Evaluation,
author = {Taylor T Johnson},
title = {ARCH-COMP20 Repeatability Evaluation Report},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3W11},
doi = {10.29007/8dp4},
pages = {175-183},
year = {2020}}
@inproceedings{ARCH20:Kaa_Python_Implementation_Reachable,
author = {Edward Kim and Parasara Sridhar Duggirala},
title = {Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Flp2},
doi = {10.29007/rs5n},
pages = {184-196},
year = {2020}}
@inproceedings{ARCH20:Guaranteed_phase_synchronization_hybrid,
author = {Jawher Jerray and Laurent Fribourg and Étienne André},
title = {Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lDgg},
doi = {10.29007/l3k2},
pages = {197-208},
year = {2020}}
@inproceedings{ARCH20:Analysis_Real_Time_Control,
author = {Maximilian Gaukler},
title = {Analysis of Real-Time Control Systems using First-Order Continuization},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Fzd6},
doi = {10.29007/8nq6},
pages = {209-241},
year = {2020}}
@inproceedings{ARCH20:Robust_Controlled_Backward_Reach,
author = {Ian Mitchell},
title = {A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Dd8G},
doi = {10.29007/mx3f},
pages = {242-258},
year = {2020}}
@inproceedings{ARCH20:Evaluating_Optimization_Solvers_Robust,
author = {Johan Lidén Eddeland and Sajed Miremadi and Knut Åkesson},
title = {Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XFJH},
doi = {10.29007/f4vs},
pages = {259-266},
year = {2020}}
@inproceedings{ARCH20:Industrial_Temporal_Logic_Specifications,
author = {Johan Lidén Eddeland and Alexandre Donzé and Sajed Miremadi and Knut Åkesson},
title = {Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
editor = {Goran Frehse and Matthias Althoff},
series = {EPiC Series in Computing},
volume = {74},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/vfmh},
doi = {10.29007/r74f},
pages = {267-274},
year = {2020}}
