Scholar

Lukas Koller

Google Scholar ID: mwajOuQAAAAJ

Technical University of Munich

Neural Network VerificationSet-based Computing

Google Scholar↗

Citations & Impact

All-time

Citations

23

H-index

3

i10-index

0

Publications

8

Co-authors

0

Contact

No contact links provided.

Publications

3 items

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results

2025

Cited

0

Out of the Shadows: Exploring a Latent Space for Neural Network Verification

2025

Cited

0

Set-Based Training for Neural Network Verification

2024

Cited

1

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)