Synthesis of insulin pump controllers from safety specifications using Bayesian model validation
{{output}}
Insulin pump controllers seek to alleviate the chronic suffering caused by diabetes that affects over 6% of the world population. The design of control laws for insulin pump controllers has been well studied. However, the parameters involved in the control law... ...