NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks

von Goyal, Manish
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Incremental Minimization of Symbolic Automata

von Homburg, Jonathan
Veröffentlicht in VSTTE (11. : 2019 : New York, NY) Verified software (2020)

Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems

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

Software verification : 12th international conference, VSTTE 2020, and 13th international workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers

Veröffentlicht 2020