Simon Kohaut

According to our database, Simon Kohaut authored at least 15 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Right in Time: Reactive Reasoning in Regulated Traffic Spaces.

Simon Kohaut, Benedict Flade, Julian Eggert, Kristian Kersting, Devendra Singh Dhami

CoRR, March, 2026

Reactive Knowledge Representation and Asynchronous Reasoning.

Simon Kohaut, Benedict Flade, Julian Eggert, Kristian Kersting, Devendra Singh Dhami

CoRR, February, 2026

2025

Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems.

Simon Kohaut, Benedict Flade, Daniel Ochs, Devendra Singh Dhami, Julian Eggert, Kristian Kersting

IEEE Trans. Intell. Transp. Syst., December, 2025

CycliST: A Video Language Model Benchmark for Reasoning on Cyclical State Transitions.

Simon Kohaut, Daniel Ochs, Shun Zhang, Benedict Flade, Julian Eggert, Kristian Kersting, Devendra Singh Dhami

CoRR, December, 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, July, 2025

Probabilistic Mission Design in Neuro-Symbolic Systems.

Simon Kohaut, Benedict Flade, Daniel Ochs, Devendra Singh Dhami, Julian Eggert, Kristian Kersting

CoRR, January, 2025

The Constitutional Filter: Bayesian Estimation of Compliant Agents.

Simon Kohaut, Felix Divo, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

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

The Constitutional Filter.

Simon Kohaut, Felix Divo, 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

Towards Probabilistic Clearance, Explanation and Optimization.

Simon Kohaut, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting

CoRR, 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

StaR Maps: Unveiling Uncertainty in Geospatial Relations.

Benedict Flade, Simon Kohaut, Julian Eggert, Devendra Singh Dhami, Kristian Kersting

Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024

2023

Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Programs.

Simon Kohaut, Benedict Flade, Devendra Singh Dhami, Julian Eggert, Kristian Kersting

Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems, 2023

2021

Error Decomposition for Hybrid Localization Systems.

Benedict Flade, Simon Kohaut, Julian Eggert

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021