关注
Sara Mohammadinejad
标题
引用次数
引用次数
年份
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
AD Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell ...
arXiv preprint arXiv:1907.10265, 2019
46*2019
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
202021
Efficient hardware implementation of real-time low-power movement intention detector system using FFT and adaptive wavelet transform
A Chamanzar, M Shabany, A Malekmohammadi, S Mohammadinejad
IEEE transactions on biomedical circuits and systems 11 (3), 585-596, 2017
142017
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
112020
Interactive learning from natural language and demonstrations using signal temporal logic
S Mohammadinejad, J Thomason, JV Deshmukh
arXiv preprint arXiv:2207.00627, 2022
32022
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
22021
系统目前无法执行此操作,请稍后再试。
文章 1–6