activity
20242026
most citedMission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs

3 citations · 6 across the 10 of their papers we have counts for

collaborators
Showing 2024Show all

5 papers · 1 filter

cs.RO2024

StaR Maps: Unveiling Uncertainty in Geospatial Relations

Simon Kohaut, Benedict Flade, Julian Eggert +2

The growing complexity of intelligent transportation systems and their applications in public spaces has increased the demand for expressive and versatile knowledge representation.…

cs.RO2024

Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing

Simon Kohaut, Nikolas Hohmann, Sebastian Brulin +6

Advanced Aerial Mobility encompasses many outstanding applications that promise to revolutionize modern logistics and pave the way for various public services and industry uses. Ho…

cs.RO2024

The Constitutional Filter: Bayesian Estimation of Compliant Agents

Simon Kohaut, Felix Divo, Benedict Flade +3

Predicting agents impacted by legal policies, physical limitations, and operational preferences is inherently difficult. In recent years, neuro-symbolic methods have emerged, integ…

cs.RO2024★ 2 cited

Towards Probabilistic Clearance, Explanation and Optimization

Simon Kohaut, Benedict Flade, Devendra Singh Dhami +2

Employing Unmanned Aircraft Systems (UAS) beyond visual line of sight (BVLOS) is an endearing and challenging task. While UAS have the potential to significantly enhance today's lo…

cs.RO2024★ 3 cited

Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs

Simon Kohaut, Benedict Flade, Devendra Singh Dhami +2

Advanced Air Mobility (AAM) is a growing field that demands a deep understanding of legal, spatial and temporal concepts in navigation. Hence, any implementation of AAM is forced t…