ARCH-COMP20 category report: Hybrid systems theorem proving

Stefan Mitsch; Jonathan Julián Huerta Y Munive; Xiangyu Jin; Bohua Zhan; Shuling Wang; Naijun Zhan

doi:10.29007/bdq9

ARCH-COMP20 category report: Hybrid systems theorem proving

Stefan Mitsch
, Jonathan Julián Huerta Y Munive
, Xiangyu Jin
, Bohua Zhan
, Shuling Wang
, Naijun Zhan

Carnegie Mellon University
Sheffield University
Institute of Software Chinese Academy of Sciences

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	153-174
Number of pages	22
Journal	EPiC Series in Computing
Volume	74
DOIs	https://doi.org/10.29007/bdq9
State	Published - 2020
Externally published	Yes
Event	7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 - Virual, Online Duration: Jul 12 2020 → Jul 12 2020

ASJC Scopus Subject Areas

General Computer Science

Access to Document

10.29007/bdq9

Cite this

@article{d803c37de7c74ee7ba19e0d3940a6d99,

title = "ARCH-COMP20 category report: Hybrid systems theorem proving",

author = "Stefan Mitsch and \{Y Munive\}, \{Jonathan Juli{\'a}n Huerta\} and Xiangyu Jin and Bohua Zhan and Shuling Wang and Naijun Zhan",

note = "Publisher Copyright: {\textcopyright} 2020 EasyChair. All rights reserved.; 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 ; Conference date: 12-07-2020 Through 12-07-2020",

year = "2020",

doi = "10.29007/bdq9",

language = "English",

volume = "74",

pages = "153--174",

journal = "EPiC Series in Computing",

issn = "2398-7340",

}

TY - JOUR

T1 - ARCH-COMP20 category report

T2 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020

AU - Mitsch, Stefan

AU - Y Munive, Jonathan Julián Huerta

AU - Jin, Xiangyu

AU - Zhan, Bohua

AU - Wang, Shuling

AU - Zhan, Naijun

PY - 2020

Y1 - 2020

UR - https://www.scopus.com/pages/publications/85113481813

UR - https://www.scopus.com/pages/publications/85113481813#tab=citedBy

U2 - 10.29007/bdq9

DO - 10.29007/bdq9

M3 - Conference article

AN - SCOPUS:85113481813

SN - 2398-7340

VL - 74

SP - 153

EP - 174

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 12 July 2020 through 12 July 2020

ER -

ARCH-COMP20 category report: Hybrid systems theorem proving

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this