Picture for Sara Mohammadinejad

Sara Mohammadinejad

Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic

Add code
Jul 01, 2022
Figure 1 for Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Figure 2 for Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Figure 3 for Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Figure 4 for Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Viaarxiv icon

Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems

Add code
Jun 16, 2021
Figure 1 for Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Figure 2 for Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Figure 3 for Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Figure 4 for Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
Viaarxiv icon

DiffRNN: Differential Verification of Recurrent Neural Networks

Add code
Jul 20, 2020
Figure 1 for DiffRNN: Differential Verification of Recurrent Neural Networks
Figure 2 for DiffRNN: Differential Verification of Recurrent Neural Networks
Figure 3 for DiffRNN: Differential Verification of Recurrent Neural Networks
Figure 4 for DiffRNN: Differential Verification of Recurrent Neural Networks
Viaarxiv icon

Mining Environment Assumptions for Cyber-Physical System Models

Add code
May 18, 2020
Figure 1 for Mining Environment Assumptions for Cyber-Physical System Models
Figure 2 for Mining Environment Assumptions for Cyber-Physical System Models
Figure 3 for Mining Environment Assumptions for Cyber-Physical System Models
Figure 4 for Mining Environment Assumptions for Cyber-Physical System Models
Viaarxiv icon

Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques

Add code
Jul 24, 2019
Figure 1 for Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Figure 2 for Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Figure 3 for Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Figure 4 for Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Viaarxiv icon