Clairvoyant Monitoring for Signal Temporal Logic

von Qin, Xin
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

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)

NASA formal methods : 14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, proceedings

Veröffentlicht 2022