Simon Kohaut

17 papers A 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Reactive Knowledge Representation and Asynchronous Reasoning.
CoRR
Simon Kohaut, Benedict Flade, Julian Eggert, Kristian Kersting, Devendra Singh Dhami
2026 J jnl
Right in Time: Reactive Reasoning in Regulated Traffic Spaces.
CoRR
Simon Kohaut, Benedict Flade, Julian Eggert, Kristian Kersting, Devendra Singh Dhami
2025 J jnl
CycliST: A Video Language Model Benchmark for Reasoning on Cyclical State Transitions.
CoRR
Simon Kohaut, Daniel Ochs, Shun Zhang, Benedict Flade, Julian Eggert, Kristian Kersting, Devendra Singh Dhami
2025 J jnl
Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems.
IEEE Trans. Intell. Transp. Syst.
Simon Kohaut, Benedict Flade, Daniel Ochs, Devendra Singh Dhami, Julian Eggert, Kristian Kersting
2025 J jnl
Probabilistic Mission Design in Neuro-Symbolic Systems.
CoRR
Simon Kohaut, Benedict Flade, Daniel Ochs, Devendra Singh Dhami, Julian Eggert, Kristian Kersting
2025 J jnl
The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents.
CoRR
Simon Kohaut, Felix Divo, Navid Hamid, Benedict Flade, Julian Eggert, Devendra Singh Dhami, Kristian Kersting
2025 A conf
The Constitutional Filter: Bayesian Estimation of Compliant Agents.
IROS
Simon Kohaut, Felix Divo, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting
2024 J jnl
Answer Set Networks: Casting Answer Set Programming into Deep Learning.
CoRR
Arseny Skryagin, Daniel Ochs, Phillip Deibert, Simon Kohaut, Devendra Singh Dhami, Kristian Kersting
2024 J jnl
Error Decomposition for Hybrid Localization Systems.
CoRR
Benedict Flade, Simon Kohaut, Julian Eggert
2024 J jnl
Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing.
CoRR
Simon Kohaut, Nikolas Hohmann, Sebastian Brulin, Benedict Flade, Julian Eggert, Markus Olhofer, Jürgen Adamy, Devendra Singh Dhami, Kristian Kersting
2024 J jnl
Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Program.
CoRR
Simon Kohaut, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting
2024 — conf
StaR Maps: Unveiling Uncertainty in Geospatial Relations.
ITSC
Benedict Flade, Simon Kohaut, Julian Eggert, Devendra Singh Dhami, Kristian Kersting
2024 J jnl
StaR Maps: Unveiling Uncertainty in Geospatial Relations.
CoRR
Simon Kohaut, Benedict Flade, Julian Eggert, Devendra Singh Dhami, Kristian Kersting
2024 J jnl
The Constitutional Filter.
CoRR
Simon Kohaut, Felix Divo, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting
2024 J jnl
Towards Probabilistic Clearance, Explanation and Optimization.
CoRR
Simon Kohaut, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting
2023 — conf
Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs.
ITSC
Simon Kohaut, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting
2021 — conf
Error Decomposition for Hybrid Localization Systems.
ITSC
Benedict Flade, Simon Kohaut, Julian Eggert