ARCH19:BibTeX Entries

Volume

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

Papers

@inproceedings{ARCH19:ARCH_COMP19_Category_Report_Hybrid,
  author    = {Goran Frehse and Alessandro Abate and Dieky Adzkiya and Anna Becchi and Lei Bu and Alessandro Cimatti and Mirco Giacobbe and Alberto Griggio and Sergio Mover and Muhammad Syifa'ul Mufid and Idriss Riouak and Stefano Tonetta and Enea Zaffanella},
  title     = {ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {1--13},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/MTXh},
  doi       = {10.29007/rjwn}}

@inproceedings{ARCH19:ARCH_COMP19_Category_Report_Continuous,
  author    = {Matthias Althoff and Stanley Bak and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Rajarshi Ray and Christian Schilling and Stefan Schupp},
  title     = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {14--40},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/1gbP},
  doi       = {10.29007/bj1w}}

@inproceedings{ARCH19:ARCH_COMP19_Category_Report_Continuous,
  author    = {Fabian Immler and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Xin Chen and Marcelo Forets and Luca Geretti and Niklas Kochdumper and David P. Sanders and Christian Schilling},
  title     = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {41--61},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4FSh},
  doi       = {10.29007/m75b}}

@inproceedings{ARCH19:ARCH_COMP19_Category_Report_Stochastic,
  author    = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Kurt Degiorgio and Martin Fr\textbackslash{}"anzle and Ernst Moritz Hahn and Sofie Haesaert and Hao Ma and Meeko Oishi and Carina Pilch and Anne Remke and Mahmoud Salamati and Sadegh Soudjani and Birgit van Huijgevoort and Abraham Vinod},
  title     = {ARCH-COMP19 Category Report: Stochastic Modelling},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {62--102},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/S95M},
  doi       = {10.29007/f2vb}}

@inproceedings{ARCH19:ARCH_COMP19_Category_Report_Artificial,
  author    = {Diego Manzanas Lopez and Patrick Musau and Hoang-Dung Tran and Souradeep Dutta and Taylor J. Carpenter and Radoslav Ivanov and Taylor T. Johnson},
  title     = {ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {103--119},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/BFKs},
  doi       = {10.29007/rgv8}}

@inproceedings{ARCH19:ARCH_COMP19_Category_Report_Bounded,
  author    = {Lei Bu and Rajarshi Ray and Stefan Schupp},
  title     = {ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {120--128},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/q6RV},
  doi       = {10.29007/g965}}

@inproceedings{ARCH19:ARCH_COMP_2019_Category_Report,
  author    = {Gidon Ernst and Paolo Arcaini and Alexandre Donz\textbackslash{}'e and Georgios Fainekos and Logan Mathesen and Giulia Pedrielli and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang},
  title     = {ARCH-COMP 2019 Category Report: Falsification},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {129--140},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/5VWq},
  doi       = {10.29007/68dk}}

@inproceedings{ARCH19:ARCH_COMP19_Category_Report_Hybrid,
  author    = {Stefan Mitsch and Andrew Sogokon and Yong Kiam Tan and Xiangyu Jin and Bohua Zhan and Shuling Wang and Naijun Zhan},
  title     = {ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {141--161},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/mSQ6},
  doi       = {10.29007/nrv8}}

@inproceedings{ARCH19:ARCH_COMP19_Repeatability_Evaluation_Report,
  author    = {Taylor T. Johnson},
  title     = {ARCH-COMP19 Repeatability Evaluation Report},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {162--169},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/xvBM},
  doi       = {10.29007/wbl3}}

@inproceedings{ARCH19:Efficient_n_to_n_Collision_Detection,
  author    = {Stanley Bak and Kerianne Hobbs},
  title     = {Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {170--182},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/l59k},
  doi       = {10.29007/5pl1}}

@inproceedings{ARCH19:Worst_Case_Analysis_of_Digital,
  author    = {Maximilian Gaukler and Peter Ulbrich},
  title     = {Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {183--200},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/S4w9},
  doi       = {10.29007/c4zl}}

@inproceedings{ARCH19:Verification_of_Closed_loop_Systems,
  author    = {Diego Manzanas Lopez and Patrick Musau and Hoang-Dung Tran and Taylor T. Johnson},
  title     = {Verification of Closed-loop Systems with Neural Network Controllers},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {201--210},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/ZmnC},
  doi       = {10.29007/btv1}}

@inproceedings{ARCH19:Under_Hood_of_Stand_Alone,
  author    = {Sophie Gruenbacher and Jacek Cyranka and Md Ariful Islam and Max Tschaikowski and Scott Smolka and Radu Grosu},
  title     = {Under the Hood of a Stand-Alone Lagrangian Reachability Tool},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  pages     = {211--219},
  year      = {2019},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Rlw3},
  doi       = {10.29007/ns8p}}