Linearization based Safety Verification of a Glucose Control Protocol.

Ankita Samaddar, Zahra RahimiNasab, Arvind Easwaran, Ansuman Banerjee, Xue Bai

Browse the full ISORC paper archive.