Falsification of Cyber-Physical Systems with Constrained Signal Spaces

von Barbot, Benoît
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Computer performance engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018 : proceedings

Veröffentlicht 2018

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

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