79 citations · 233 across the 21 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
Josephine Lamp, Simone Silvetti, Marc Breton +2
Type I Diabetes (T1D) is a chronic disease in which the body's ability to synthesize insulin is destroyed. It can be difficult for patients to manage their T1D, as they must contro…
cs.LO2019★ 79 cited
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti +1
Cyber-Physical Systems~(CPS) consist of collaborative, networked and tightly intertwined computational (logical) and physical components, each operating at different spatial and te…