research
∙
04/29/2021
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
We present MoonLight, a tool for monitoring temporal and spatio-temporal...
share
research
∙
06/24/2019
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
Type I Diabetes (T1D) is a chronic disease in which the body's ability t...
research
∙
06/01/2018
Signal Convolution Logic
We introduce a new logic called Signal Convolution Logic (SCL) that comb...
research
∙
11/13/2017