HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Souradeep Dutta

Publications
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson
In:ARCH19. 6th 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

Keyphrases

Artificial Pancreas, Flow*, Flowpipe Construction, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.