research
∙
07/01/2022
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Natural language is an intuitive way for humans to communicate tasks to ...
share
research
∙
06/16/2021
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
The Internet-of-Things, complex sensor networks, multi-agent cyber-physi...
research
∙
07/20/2020
DiffRNN: Differential Verification of Recurrent Neural Networks
Recurrent neural networks (RNNs) such as Long Short Term Memory (LSTM) n...
research
∙
05/18/2020
Mining Environment Assumptions for Cyber-Physical System Models
Many complex cyber-physical systems can be modeled as heterogeneous comp...
research
∙
07/24/2019
