Sign in
Tobias Ladner
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Neural Network
Managerial Insights
Variational Inequalities
Bounded Model Checking
Top Venues
CoRR
HSCC
</>
Publications
</>
Lukas Koller
,
Tobias Ladner
,
Matthias Althoff
End-To-End Set-Based Training for Neural Network Verification.
CoRR
(2024)
Tobias Ladner
,
Matthias Althoff
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis.
HSCC
(2023)
Tobias Ladner
,
Matthias Althoff
Specification-Driven Neural Network Reduction for Scalable Formal Verification.
CoRR
(2023)