| SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks F Bauer-Marquart, D Boetius, S Leue, C Schilling International Symposium on Model Checking Software, 79-96, 2022 | 8 | 2022 |
| A robust optimisation perspective on counterexample-guided repair of neural networks D Boetius, S Leue, T Sutter International Conference on Machine Learning, 2712-2737, 2023 | 4 | 2023 |
| Probabilistic Verification of Neural Networks using Branch and Bound D Boetius, S Leue, T Sutter arXiv preprint arXiv:2405.17556, 2024 | 1 | 2024 |
| Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics D Boetius, S Leue arXiv preprint arXiv:2405.15430, 2024 | | 2024 |
| Verifying Global Neural Network Specifications using Hyperproperties D Boetius, S Leue arXiv preprint arXiv:2306.12495, 2023 | | 2023 |
| Neural Network Repair: Global Specifications and Theoretical Endeavours D Boetius Universität Konstanz, 2023 | | 2023 |
| SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks D Boetius, S Leue, C Schilling Model Checking Software: 28th International Symposium, SPIN 2022, Virtual …, 2022 | | 2022 |
| Neural Network Repair Using Constrained Optimisation D Boetius Universität Konstanz, 2021 | | 2021 |
| SpecAttack: Specification-Based Adversarial Training for Deep Neural Networks F Bauer-Marquart, D Boetius, S Leue, C Schilling | | |
Stefan LeueProfessor of Computer Science, University of Konstanz, Germany確認したメール アドレス: uni-konstanz.de