Formal Semantics and Formally Verified Validation for Temporal Planning. - Mohammad Abdulaziz; Lukas Koller (AAAI, 2022)

Knight's Tour Revisited Revisited. - Lukas Koller (Arch. Formal Proofs, 2022)

MixUp-MIL: Novel Data Augmentation for Multiple Instance Learning and a Study on Thyroid Cancer Diagnosis. - Michael Gadermayr; Lukas Koller; Maximilian Ernst Tschuchnig; Lea Maria Stangassinger; Christina Kreutzer; Sebastien Couillard-Despres; Gertie Janneke Oostingh; Anton Hittmair (MICCAI (6), 2023)

MixUp-MIL: A Study on Linear & Multilinear Interpolation-Based Data Augmentation for Whole Slide Image Classification. - Michael Gadermayr; Lukas Koller; Maximilian Ernst Tschuchnig; Lea Maria Stangassinger; Christina Kreutzer; Sebastien Couillard-Despres; Gertie Janneke Oostingh; Anton Hittmair (CoRR, 2023)

End-To-End Set-Based Training for Neural Network Verification. - Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2024)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning. - Manuel Wendl; Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2024)

Training robust neural networks for uncertainty prediction in stamping technology. - Lukas Koller; Christoph Hartmann 003; Lukas Martinitz; Wolfram Volk; Matthias Althoff (Autom., 2025)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification. - Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2025)