Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems

von Mohammadinejad, Sara
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

DiffRNN: Differential Verification of Recurrent Neural Networks

von Mohammadinejad, Sara
Veröffentlicht in FORMATS (19. : 2021 : Online) Formal Modeling and Analysis of Timed Systems (2021)