-
First three years of the international verification of neural networks competition (VNN-COMP)2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu
66citations -
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson
28citations -
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations -
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification
Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe⋆, Constantin Venhoff
18citations