STL-based learning on T1D patient data identifies logical formulas characterizing behaviors associated with varying glycemic control at individual and population levels.
In: Proceedings of the 8th International Conference o n Formal Modeling and Analysis of Timed Systems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
STL-based learning on T1D patient data identifies logical formulas characterizing behaviors associated with varying glycemic control at individual and population levels.