Author:Stefan Leue

Publications
Verifying Global Neural Network Specifications using Hyperproperties David Boetius and Stefan Leue In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Automated Invariant Generation for the Verification of Real-Time Systems Bahareh Badban, Stefan Leue and Jan-Georg Smaus In:WING 2010. Workshop on Invariant Generation 2010
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs Matthias Kuntz, Stefan Leue and Christoph Scheben In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

concolic execution, concurrent programs, deep learning, Hyperproperties, invariant generation, Neural Network Verification, non-termination, program verification, real-time systems, Safe Machine Learning, termination, theorem proving, Trustworthy Machine Learning.