Arch-comp19 category report: Hybrid systems theorem proving

Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; Xiangyu Jin; Bohua Zhan; Shuling Wang; Naijun Zhan

doi:10.29007/nrv8

Arch-comp19 category report: Hybrid systems theorem proving

Stefan Mitsch
, Andrew Sogokon
, Yong Kiam Tan
, Xiangyu Jin
, Bohua Zhan
, Shuling Wang
, Naijun Zhan

Carnegie Mellon University
Chinese Academy of Sciences

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

Original language	English
Pages (from-to)	141-161
Number of pages	21
Journal	EPiC Series in Computing
Volume	61
DOIs	https://doi.org/10.29007/nrv8
State	Published - 2019
Externally published	Yes
Event	6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 - Montreal, Canada Duration: Apr 15 2019 → Apr 15 2019

ASJC Scopus Subject Areas

General Computer Science

Access to Document

10.29007/nrv8

Cite this

@article{56ea36470055489bb00ad7e1931c791a,

title = "Arch-comp19 category report: Hybrid systems theorem proving",

author = "Stefan Mitsch and Andrew Sogokon and Tan, \{Yong Kiam\} and Xiangyu Jin and Bohua Zhan and Shuling Wang and Naijun Zhan",

note = "Publisher Copyright: {\textcopyright} 2019, EasyChair. All rights reserved.; 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 ; Conference date: 15-04-2019 Through 15-04-2019",

year = "2019",

doi = "10.29007/nrv8",

language = "English",

volume = "61",

pages = "141--161",

journal = "EPiC Series in Computing",

issn = "2398-7340",

}

TY - JOUR

T1 - Arch-comp19 category report

T2 - 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019

AU - Mitsch, Stefan

AU - Sogokon, Andrew

AU - Tan, Yong Kiam

AU - Jin, Xiangyu

AU - Zhan, Bohua

AU - Wang, Shuling

AU - Zhan, Naijun

PY - 2019

Y1 - 2019

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

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

U2 - 10.29007/nrv8

DO - 10.29007/nrv8

M3 - Conference article

AN - SCOPUS:85080078723

SN - 2398-7340

VL - 61

SP - 141

EP - 161

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 15 April 2019 through 15 April 2019

ER -

Arch-comp19 category report: Hybrid systems theorem proving

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this