팔로우
Lukas Koller
제목
인용
인용
연도
Formal Semantics and Formally Verified Validation for Temporal Planning
M Abdulaziz, L Koller
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9635-9643, 2022
62022
Set-Based Training for Neural Network Verification
L Koller, T Ladner, M Althoff
arXiv preprint arXiv:2401.14961, 2024
3*2024
Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
M Wendl, L Koller, T Ladner, M Althoff
arXiv preprint arXiv:2408.09112, 2024
2024
Knight’s Tour Revisited Revisited
L Koller
2024
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4