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