HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:CORA

Papers
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp and Mark Wetzlinger
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Implementation of Taylor models in CORA 2018
Matthias Althoff, Dmitry Grebenyuk and Niklas Kochdumper
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Implementation of Interval Arithmetic in CORA 2016
Matthias Althoff and Dmitry Grebenyuk
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
An Introduction to CORA 2015
Matthias Althoff
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Copyright © 2012-2021 easychair.org. All rights reserved.