3 papers
cs.LG2020
DiffRNN: Differential Verification of Recurrent Neural Networks
Sara Mohammadinejad, Brandon Paulsen, Chao Wang +1
Recurrent neural networks (RNNs) such as Long Short Term Memory (LSTM) networks have become popular in a variety of applications such as image processing, data classification, spee…
cs.LG2020
Mining Environment Assumptions for Cyber-Physical System Models
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic
Many complex cyber-physical systems can be modeled as heterogeneous components interacting with each other in real-time. We assume that the correctness of each component can be spe…
cs.LG2019
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic +2
Cyber-physical system applications such as autonomous vehicles, wearable devices, and avionic systems generate a large volume of time-series data. Designers often look for tools to…