Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs | IEEE Conference Publication | IEEE Xplore