activity
20192022
most citedInteractive Learning from Natural Language and Demonstrations using Signal Temporal Logic

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2020Show all

2 papers · 1 filter

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…