Keyword:Flowpipe Construction

Publications
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