ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Xin Chen 0002, Matthias Althoff, Fabian Immler. ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. In Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, pages 160-169, EasyChair, 2017. [doi]

The following publications are possibly variants of this publication:

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous DynamicsMatthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen 0002, Goran Frehse, Rajarshi Ray, Stefan Schupp. cpsweek 2017: 143-159 [doi]

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsLuca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling 0001. arch 2020: 49-75 [doi]

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsFabian Immler, Matthias Althoff, Xin Chen 0002, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani. adhs 2018: 53-70 [doi]

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsLuca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling 0001, Mark Wetzlinger, Daniel Zhuang. arch 2023: 61-88 [doi]

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsFabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling. cpsweek 2019: 41-61 [doi]

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsLuca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling 0001, Mark Wetzlinger. arch 2022: 86-112 [doi]

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsLuca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling 0001, Mark Wetzlinger. arch 2021: 32-54 [doi]

runs on WebDSL