Work

Conformance verification for neural network models of glucose-insulin dynamics

Year: 2020

Type: conference-paper

Source: International Conference on Hybrid Systems: computation and control

DOI: 10.1145/3365365.3382210

Authors: Taisa Kushner, Sriram Sankaranarayanan, Marc Breton

Institutions: University of Colorado Boulder, University of Virginia

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Youth Science Foundation, Juvenile Diabetes Research Foundation United States of America

Awards: G1853320263, G2847923129

OpenAlex ID: W3023426405

FWCI: 1.132

Cites: 63

Cited by: 7

Related to: 10