Error Decomposition for Hybrid Localization Systems. - Benedict Flade; Simon Kohaut; Julian Eggert (ITSC, 2021)

Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs. - Simon Kohaut; Benedict Flade; Devendra Singh Dhami; Julian Eggert; Kristian Kersting (ITSC, 2023)

StaR Maps: Unveiling Uncertainty in Geospatial Relations. - Benedict Flade; Simon Kohaut; Julian Eggert; Devendra Singh Dhami; Kristian Kersting (ITSC, 2024)

Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Program. - Simon Kohaut; Benedict Flade; Devendra Singh Dhami; Julian Eggert; Kristian Kersting (CoRR, 2024)

Towards Probabilistic Clearance, Explanation and Optimization. - Simon Kohaut; Benedict Flade; Devendra Singh Dhami; Julian Eggert; Kristian Kersting (CoRR, 2024)

Answer Set Networks: Casting Answer Set Programming into Deep Learning. - Arseny Skryagin; Daniel Ochs; Phillip Deibert; Simon Kohaut; Devendra Singh Dhami; Kristian Kersting (CoRR, 2024)

The Constitutional Filter. - Simon Kohaut; Felix Divo; Benedict Flade; Devendra Singh Dhami; Julian Eggert; Kristian Kersting (CoRR, 2024)

Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing. - Simon Kohaut; Nikolas Hohmann; Sebastian Brulin; Benedict Flade; Julian Eggert; Markus Olhofer; Jürgen Adamy; Devendra Singh Dhami; Kristian Kersting (CoRR, 2024)

Probabilistic Mission Design in Neuro-Symbolic Systems. - Simon Kohaut; Benedict Flade; Daniel Ochs; Devendra Singh Dhami; Julian Eggert; Kristian Kersting (CoRR, 2025)

The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents. - Simon Kohaut; Felix Divo; Navid Hamid; Benedict Flade; Julian Eggert; Devendra Singh Dhami; Kristian Kersting (CoRR, 2025)