Articles amb requisits d'accés públic - Sara MohammadinejadMés informació
Disponibles en algun lloc: 3
DiffRNN: differential verification of recurrent neural networks
S Mohammadinejad, B Paulsen, JV Deshmukh, C Wang
Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021
Requisits: US National Science Foundation
Mining environment assumptions for cyber-physical system models
S Mohammadinejad, JV Deshmukh, AG Puranic
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
Requisits: US National Science Foundation
Mining interpretable spatio-temporal logic properties for spatially distributed systems
S Mohammadinejad, JV Deshmukh, L Nenzi
International Symposium on Automated Technology for Verification and …, 2021
Requisits: US National Science Foundation, Austrian Science Fund
Les dades de publicació i de finançament es determinen automàticament per mitjà d'un programa informàtic