2 citations · 2 across the 3 of their papers we have counts for
5 papers
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh
Natural language is an intuitive way for humans to communicate tasks to a robot. While natural language (NL) is ambiguous, real world tasks and their safety requirements need to be…
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…