{"date_published":"2019-05-25T00:00:00Z","publisher":"EasyChair Publications","year":"2019","day":"25","oa_version":"Published Version","title":"ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics","scopus_import":1,"quality_controlled":"1","intvolume":"        61","file":[{"content_type":"application/pdf","file_size":1934830,"file_name":"2019_ARCH19_Immler.pdf","relation":"main_file","access_level":"open_access","checksum":"9138977a06fcd6a95976eb4bca875f0c","date_created":"2020-03-24T07:36:36Z","date_updated":"2020-07-14T12:48:00Z","file_id":"7617","creator":"dernst"}],"language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["000"],"file_date_updated":"2020-07-14T12:48:00Z","oa":1,"page":"41-61","status":"public","citation":{"ieee":"F. Immler <i>et al.</i>, “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in <i>EPiC Series in Computing</i>, Montreal, Canada, 2019, vol. 61, pp. 41–61.","ama":"Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: <i>EPiC Series in Computing</i>. Vol 61. EasyChair Publications; 2019:41-61. doi:<a href=\"https://doi.org/10.29007/m75b\">10.29007/m75b</a>","mla":"Immler, Fabian, et al. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” <i>EPiC Series in Computing</i>, vol. 61, EasyChair Publications, 2019, pp. 41–61, doi:<a href=\"https://doi.org/10.29007/m75b\">10.29007/m75b</a>.","short":"F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.","apa":"Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., … Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In <i>EPiC Series in Computing</i> (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications. <a href=\"https://doi.org/10.29007/m75b\">https://doi.org/10.29007/m75b</a>","ista":"Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper N, Sanders DP, Schilling C. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.","chicago":"Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In <i>EPiC Series in Computing</i>, 61:41–61. EasyChair Publications, 2019. <a href=\"https://doi.org/10.29007/m75b\">https://doi.org/10.29007/m75b</a>."},"date_created":"2020-03-08T23:00:49Z","month":"05","article_processing_charge":"No","department":[{"_id":"ToHe"}],"publication_status":"published","publication":"EPiC Series in Computing","abstract":[{"text":"We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2019. In this year, 6 tools Ariadne, CORA, DynIbex, Flow*, Isabelle/HOL, and JuliaReach (in alphabetic order) participated. They are applied to solve reachability analysis problems on four benchmark problems, one of them with hybrid dynamics. We do not rank the tools based on the results, but show the current status and discover the potential advantages of different tools.","lang":"eng"}],"conference":{"start_date":"2019-04-15","end_date":"2019-04-15","name":"ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems","location":"Montreal, Canada"},"doi":"10.29007/m75b","author":[{"first_name":"Fabian","full_name":"Immler, Fabian","last_name":"Immler"},{"full_name":"Althoff, Matthias","first_name":"Matthias","last_name":"Althoff"},{"last_name":"Benet","first_name":"Luis","full_name":"Benet, Luis"},{"last_name":"Chapoutot","full_name":"Chapoutot, Alexandre","first_name":"Alexandre"},{"last_name":"Chen","first_name":"Xin","full_name":"Chen, Xin"},{"full_name":"Forets, Marcelo","first_name":"Marcelo","last_name":"Forets"},{"last_name":"Geretti","first_name":"Luca","full_name":"Geretti, Luca"},{"last_name":"Kochdumper","first_name":"Niklas","full_name":"Kochdumper, Niklas"},{"last_name":"Sanders","full_name":"Sanders, David P.","first_name":"David P."},{"id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","last_name":"Schilling","orcid":"0000-0003-3658-1065","first_name":"Christian","full_name":"Schilling, Christian"}],"_id":"7576","publication_identifier":{"eissn":["23987340"]},"volume":61,"date_updated":"2021-01-12T08:14:17Z","has_accepted_license":"1","type":"conference"}