From

Institution

Field

Type

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

Reset

Papers matching “over-approximation” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions
2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Adversarial Robustness in Machine Learning Open access

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

4

citations
Generalizing neural network verification to the family of piece-wise linear activation functions
2025 Science of Computer Programming article Computer Science Neural Networks and Applications Open access

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

3

citations
Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification
2025 Lecture notes in computer science conference-paper Computer Science Adversarial Robustness in Machine Learning

László Antal, Erika Ábrahám

0

citations
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
2024 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn

0

citations
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
2025 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

2

citations
Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Synthesis and analysis of neural-network-based control in cyber-physical systems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Adversarial Robustness in Machine Learning Open access

László Antal

0

citations

7 results