From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “verification algorithms” 133

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
2022 Machine Learning article Computer Science Adversarial Robustness in Machine Learning Open access

Holger H. Hoos, Jan N. van Rijn

7

citations
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Formal Methods in Verification Open access

Konstantin Kaulen, Holger H. Hoos

3

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions
2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

László Antal, Hana Masara, Erika Ábrahám

4

citations
A Practitioner’s Guide to MDP Model Checking Algorithms
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

35

citations
A Practitioner's Guide to MDP Model Checking Algorithms
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

2

citations
The revised practitioner’s guide to MDP model checking algorithms
2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

1

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Analyzing the Impact of Undersampling on the Benchmarkingand Configuration of Evolutionary Algorithms - Dataset
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Hao Wang, Manuel López‐Ibáñez, Carola Doerr, Thomas Bäck

1

citations
Analyzing the Impact of Undersampling on the Benchmarkingand Configuration of Evolutionary Algorithms - Dataset
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Hao Wang, Manuel López‐Ibáñez, Carola Doerr, Thomas Bäck

0

citations
Genetic algorithm as a tool for detection setup optimisation for prompt-gamma imaging in proton therapy: SiFi Compton camera case study
2025 Physics in Medicine and Biology article Medicine Radiation Therapy and Dosimetry Open access

Jonas Kasper, Awal Awal, Ronja Hetzel, Magdalena Kołodziej, Katarzyna Rusiecka, A. Stahl, +2 more

1

citations
Genetic algorithm as a tool for detection setup optimisation: SiFi-CC case study
2024 arXiv (Cornell University) preprint Medicine Radiation Therapy and Dosimetry Open access

Jonas Kasper, Awal Awal, Ronja Hetzel, Magdalena Kołodziej, Katarzyna Rusiecka, Achim Stahl, +2 more

0

citations
Comparison of Maximal End Component Decomposition Algorithms: Data and Code
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

1

citations
Comparison of Maximal End Component Decomposition Algorithms: Data and Code
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

0

citations
Solution Concepts and Algorithms for Infinite Multiplayer Games
2025 Routledge eBooks book-chapter Computer Science Formal Methods in Verification Open access

0

citations
Recent developments in theory and tool support for hybrid systems verification with HyPro
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Erika Ábrahám, Tristan Ebert

6

citations
Virtual mitigation of coherent non-adiabatic transitions by echo verification
2024 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Benjamin F. Schiffer, Dyon van Vreumingen, Jordi Tura, Stefano Polla

5

citations
Generalizing neural network verification to the family of piece-wise linear activation functions
2025 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

László Antal, Erika Ábrahám, Hana Masara

3

citations
Robustness Distributions in Neural Network Verification
2025 Journal of Artificial Intelligence Research article Computer Science Adversarial Robustness in Machine Learning Open access

Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

2

citations