ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Althoff, M., Bak, S., Chen, X., Fan, C., Forets, M., Frehse, G., Kochdumper, N., Li, Y., Mitra, S., Ray, R., Schilling, C., & Schupp, S. In Frehse, G., Althoff, M., Bogomolov, S., & Johnson, T. T., editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018, volume 54, of EPiC Series in Computing, pages 23–52, 2018. EasyChair.
Paper bibtex @inproceedings{DBLP:conf/adhs/AlthoffB0FFFKLM18,
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},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
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, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
pages = {23--52},
publisher = {EasyChair},
year = {2018},
url = {https://easychair.org/publications/paper/4cGr},
timestamp = {Wed, 27 May 2020 16:02:02 +0200},
biburl = {https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"DQqj6gWobEBggECwL","bibbaseid":"althoff-bak-chen-fan-forets-frehse-kochdumper-li-etal-archcomp18categoryreportcontinuousandhybridsystemswithlinearcontinuousdynamics-2018","downloads":0,"creationDate":"2019-02-23T06:37:55.877Z","title":"ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics","author_short":["Althoff, M.","Bak, S.","Chen, X.","Fan, C.","Forets, M.","Frehse, G.","Kochdumper, N.","Li, Y.","Mitra, S.","Ray, R.","Schilling, C.","Schupp, S."],"year":2018,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Matthias"],"propositions":[],"lastnames":["Althoff"],"suffixes":[]},{"firstnames":["Stanley"],"propositions":[],"lastnames":["Bak"],"suffixes":[]},{"firstnames":["Xin"],"propositions":[],"lastnames":["Chen"],"suffixes":[]},{"firstnames":["Chuchu"],"propositions":[],"lastnames":["Fan"],"suffixes":[]},{"firstnames":["Marcelo"],"propositions":[],"lastnames":["Forets"],"suffixes":[]},{"firstnames":["Goran"],"propositions":[],"lastnames":["Frehse"],"suffixes":[]},{"firstnames":["Niklas"],"propositions":[],"lastnames":["Kochdumper"],"suffixes":[]},{"firstnames":["Yangge"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]},{"firstnames":["Rajarshi"],"propositions":[],"lastnames":["Ray"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Schilling"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Schupp"],"suffixes":[]}],"editor":[{"firstnames":["Goran"],"propositions":[],"lastnames":["Frehse"],"suffixes":[]},{"firstnames":["Matthias"],"propositions":[],"lastnames":["Althoff"],"suffixes":[]},{"firstnames":["Sergiy"],"propositions":[],"lastnames":["Bogomolov"],"suffixes":[]},{"firstnames":["Taylor","T."],"propositions":[],"lastnames":["Johnson"],"suffixes":[]}],"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, ARCH@ADHS 2018, Oxford, UK, July 13, 2018","series":"EPiC Series in Computing","volume":"54","pages":"23–52","publisher":"EasyChair","year":"2018","url":"https://easychair.org/publications/paper/4cGr","timestamp":"Wed, 27 May 2020 16:02:02 +0200","biburl":"https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/adhs/AlthoffB0FFFKLM18,\n author = {Matthias Althoff and\n Stanley Bak and\n Xin Chen and\n Chuchu Fan and\n Marcelo Forets and\n Goran Frehse and\n Niklas Kochdumper and\n Yangge Li and\n Sayan Mitra and\n Rajarshi Ray and\n Christian Schilling and\n Stefan Schupp},\n editor = {Goran Frehse and\n Matthias Althoff and\n Sergiy Bogomolov and\n Taylor T. Johnson},\n title = {{ARCH-COMP18} Category Report: Continuous and Hybrid Systems with\n Linear Continuous Dynamics},\n booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous\n and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},\n series = {EPiC Series in Computing},\n volume = {54},\n pages = {23--52},\n publisher = {EasyChair},\n year = {2018},\n url = {https://easychair.org/publications/paper/4cGr},\n timestamp = {Wed, 27 May 2020 16:02:02 +0200},\n biburl = {https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Althoff, M.","Bak, S.","Chen, X.","Fan, C.","Forets, M.","Frehse, G.","Kochdumper, N.","Li, Y.","Mitra, S.","Ray, R.","Schilling, C.","Schupp, S."],"editor_short":["Frehse, G.","Althoff, M.","Bogomolov, S.","Johnson, T. T."],"key":"DBLP:conf/adhs/AlthoffB0FFFKLM18","id":"DBLP:conf/adhs/AlthoffB0FFFKLM18","bibbaseid":"althoff-bak-chen-fan-forets-frehse-kochdumper-li-etal-archcomp18categoryreportcontinuousandhybridsystemswithlinearcontinuousdynamics-2018","role":"author","urls":{"Paper":"https://easychair.org/publications/paper/4cGr"},"downloads":0},"search_terms":["arch","comp18","category","report","continuous","hybrid","systems","linear","continuous","dynamics","althoff","bak","chen","fan","forets","frehse","kochdumper","li","mitra","ray","schilling","schupp"],"keywords":["dblp"],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}