2 citations · 2 across the 3 of their papers we have counts for
4 papers · 1 filter
Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Sara Mohammadinejad, Jyotirmy V. Deshmukh, Laura Nenzi
The Internet-of-Things, complex sensor networks, multi-agent cyber-physical systems are all examples of spatially distributed systems that continuously evolve in time. Such systems…
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…
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…
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…