TY - RPRT TI - Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems AU - Simon Kohaut AU - Benedict Flade AU - Daniel Ochs AU - Devendra Singh Dhami AU - Julian Eggert AU - Kristian Kersting PY - 2026 DO - 10.1109/tits.2025.3609835 UR - https://arxiv.org/abs/2501.01439 ID - 2501.01439 ER -