Koller, Lukas

2 publications

TMLR 2025 Set-Based Training for Neural Network Verification Lukas Koller, Tobias Ladner, Matthias Althoff

AAAI 2022 Formal Semantics and Formally Verified Validation for Temporal Planning Mohammad Abdulaziz, Lukas Koller