Ankita Samaddar, Zahra RahimiNasab, Arvind Easwaran, Ansuman Banerjee, Xue Bai. Linearization based Safety Verification of a Glucose Control Protocol. In IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, May 7-9, 2019. pages 221-228, IEEE, 2019. [doi]
Abstract is missing.