TY  - RPRT
TI  - Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs
AU  - Simon Kohaut
AU  - Benedict Flade
AU  - Devendra Singh Dhami
AU  - Julian Eggert
AU  - Kristian Kersting
PY  - 2024
DO  - 10.1109/itsc57777.2023.10422083
UR  - https://arxiv.org/abs/2406.03454
ID  - 2406.03454
ER  -