4 citations · 12 across the 12 of their papers we have counts for
7 papers · 1 filter
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.…
Answer Set Networks: Casting Answer Set Programming into Deep Learning
Arseny Skryagin, Daniel Ochs, Phillip Deibert +4
Although Answer Set Programming (ASP) allows constraining neural-symbolic (NeSy) systems, its employment is hindered by the prohibitive costs of computing stable models and the CPU…
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…
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…
Error Decomposition for Hybrid Localization Systems
Benedict Flade, Simon Kohaut, Julian Eggert
Future advanced driver assistance systems and autonomous vehicles rely on accurate localization, which can be divided into three classes: a) viewpoint localization about local refe…
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…
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…