ARCH18:BibTeX Entries

Volume

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

Papers

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Hybrid,
  author    = {Goran Frehse and Alessandro Abate and Dieky Adzkiya and Lei Bu and Mirco Giacobbe and Muhammad Syifa'Ul Mufid and Enea Zaffanella},
  title     = {ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {1--13},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/bXtM},
  doi       = {10.29007/p11g}}

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Bounded,
  author    = {Lei Bu and Rajarshi Ray and Stefan Schupp},
  title     = {ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {14--22},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/LG4L},
  doi       = {10.29007/q5tq}}

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Continuous,
  author    = {Matthias Althoff and Stanley Bak and Xin Chen and Chuchu Fan and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Rajarshi Ray and Christian Schilling and Stefan Schupp},
  title     = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {23--52},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4cGr},
  doi       = {10.29007/73mb}}

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Continuous,
  author    = {Fabian Immler and Matthias Althoff and Xin Chen and Chuchu Fan and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Mahendra Singh Tomar and Majid Zamani},
  title     = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {53--70},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/gjfh},
  doi       = {10.29007/mskf}}

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Stochastic,
  author    = {Alessandro Abate and Henk Blom and Nathalie Cauchi and Sofie Haesaert and Arnd Hartmanns and Kendra Lesser and Meeko Oishi and Vignesh Sivaramakrishnan and Sadegh Soudjani and Cristian-Ioan Vasile and Abraham P. Vinod},
  title     = {ARCH-COMP18 Category Report: Stochastic Modelling},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {71--103},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/DzD8},
  doi       = {10.29007/7ks7}}

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Results,
  author    = {Adel Dokhanchi and Shakiba Yaghoubi and Bardh Hoxha and Georgios Fainekos and Gidon Ernst and Zhenya Zhang and Paolo Arcaini and Ichiro Hasuo and Sean Sedwards},
  title     = {ARCH-COMP18 Category Report: Results on the Falsification Benchmarks},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {104--109},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/HjJ8},
  doi       = {10.29007/t85q}}

@inproceedings{ARCH18:ARCH_COMP18_Category_Report_Hybrid,
  author    = {Stefan Mitsch and Andrew Sogokon and Yong Kiam Tan and Andr\textbackslash{}'e Platzer and Hengjun Zhao and Xiangyu Jin and Shuling Wang and Naijun Zhan},
  title     = {ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {110--127},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/tNN2},
  doi       = {10.29007/vjh3}}

@inproceedings{ARCH18:ARCH_COMP18_Repeatability_Evaluation_Report,
  author    = {Taylor T. Johnson},
  title     = {ARCH-COMP18 Repeatability Evaluation Report},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {128--134},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9J6v},
  doi       = {10.29007/n9t3}}

@inproceedings{ARCH18:Numerical_Verification_of_10000_dimensional,
  author    = {Stanley Bak},
  title     = {Numerical Verification of 10000-dimensional Linear Systems 10000x Faster},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {135--144},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Hzw2},
  doi       = {10.29007/gv5q}}

@inproceedings{ARCH18:Implementation_of_Taylor_models,
  author    = {Matthias Althoff and Dmitry Grebenyuk and Niklas Kochdumper},
  title     = {Implementation of Taylor models in CORA 2018},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {145--173},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9Tz3},
  doi       = {10.29007/zzc7}}

@inproceedings{ARCH18:Linear_Differential_Algebraic_Equations_Benchmark,
  author    = {Patrick Musau and Diego Manzanas Lopez and Hoang-Dung Tran and Taylor T. Johnson},
  title     = {Linear Differential-Algebraic Equations (Benchmark Proposal)},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {174--184},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/mc5T},
  doi       = {10.29007/4gj7}}

@inproceedings{ARCH18:Discrete_Space_Analysis_of_Partial,
  author    = {Hoang-Dung Tran and Tianshu Bao and Taylor T. Johnson},
  title     = {Discrete-Space Analysis of Partial Differential Equations},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {185--195},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/5g6W},
  doi       = {10.29007/fvpp}}

@inproceedings{ARCH18:Verification_of_Continuous_Time,
  author    = {Patrick Musau and Taylor T. Johnson},
  title     = {Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {196--207},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/K6SZ},
  doi       = {10.29007/6czp}}

@inproceedings{ARCH18:Verification_Challenges_in_F_16,
  author    = {Peter Heidlauf and Alexander Collins and Michael Bolender and Stanley Bak},
  title     = {Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {208--217},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/W7Ck},
  doi       = {10.29007/91x9}}

@inproceedings{ARCH18:Space_Debris_Collision_Detection,
  author    = {Kerianne Hobbs and Peter Heidlauf and Alexander Collins and Stanley Bak},
  title     = {Space Debris Collision Detection using Reachability},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {218--228},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/w3n7},
  doi       = {10.29007/5313}}

@inproceedings{ARCH18:Lane_change_maneuver_for,
  author    = {Nikolaos Kekatos and Daniel He\{\textbackslash{}ss\} and Goran Frehse},
  title     = {Lane change maneuver for autonomous vehicles (Benchmark Proposal)},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {229--241},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Hx1f},
  doi       = {10.29007/5hxt}}

@inproceedings{ARCH18:Benchmarks_for_stochastic_models,
  author    = {Nathalie Cauchi and Alessandro Abate},
  title     = {Benchmarks for stochastic models from building automation systems},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {242--250},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4vfw},
  doi       = {10.29007/trj5}}