HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Flow*

Papers
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
Formal Verification of a Multi-Basal Insulin Infusion Control Model
Xin Chen, Souradeep Dutta and Sriram Sankaranarayanan
In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verifying Properties of an Electro-Mechanical Braking System
Thomas Strathmann and Jens Oehlerking
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark Generator for Stratified Controllers of Tank Networks
Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T. Johnson
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Flow* 1.2: More Effective to Play with Hybrid Systems
Xin Chen, Sriram Sankaranarayanan and Erika Ábrahám
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Copyright © 2012-2023 easychair.org. All rights reserved.