publications

2026

1. DMLR

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

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

   Journal of Data-centric Machine Learning Research, 2026

   Bib Website

   @article{kohaut2026cyclist,
     title = {Cycli{ST}: A Video Language Model Benchmark for Reasoning on Cyclical State Transitions},
     author = {Kohaut, Simon and Ochs, Daniel and Zhang, Shun and Flade, Benedict and Eggert, Julian and Kersting, Kristian and Dhami, Devendra Singh},
     journal = {Journal of Data-centric Machine Learning Research},
     issn = {XXXX-XXXX},
     year = {2026},
     url = {https://openreview.net/forum?id=l03g53HUL2},
   }

2. arXiv

   Reactive Knowledge Representation and Asynchronous Reasoning

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

   arXiv preprint arXiv:2602.05625, 2026

   arXiv Bib PDF Code

   @article{kohaut2026reactive,
     title = {Reactive Knowledge Representation and Asynchronous Reasoning},
     author = {Kohaut, Simon and Flade, Benedict and Eggert, Julian and Kersting, Kristian and Dhami, Devendra Singh},
     journal = {arXiv preprint arXiv:2602.05625},
     year = {2026},
   }

3. arXiv

   Right in Time: Reactive Reasoning in Regulated Traffic Spaces

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

   arXiv preprint arXiv:2603.03977, 2026

   arXiv Bib PDF

   @article{kohaut2026right,
     title = {Right in Time: Reactive Reasoning in Regulated Traffic Spaces},
     author = {Kohaut, Simon and Flade, Benedict and Eggert, Julian and Kersting, Kristian and Dhami, Devendra Singh},
     journal = {arXiv preprint arXiv:2603.03977},
     year = {2026},
   }

2025

1. ACM JATS

   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 Dhami, and Kristian Kersting

   Journal on Autonomous Transportation Systems, 2025

   arXiv Bib PDF Code

   @article{kohaut2025hybrid,
     title = {Hybrid many-objective optimization in probabilistic mission design for compliant and effective UAV routing},
     author = {Kohaut, Simon and Hohmann, Nikolas and Brulin, Sebastian and Flade, Benedict and Eggert, Julian and Olhofer, Markus and Adamy, J{\"u}rgen and Dhami, Devendra and Kersting, Kristian},
     journal = {Journal on Autonomous Transportation Systems},
     volume = {3},
     number = {1},
     pages = {1--24},
     year = {2025},
     publisher = {ACM New York, NY},
   }

2. IEEE/RSJ IROS

   The Constitutional Filter: Bayesian Estimation of Compliant Agents

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

   In 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025

   arXiv Bib PDF Code

   @inproceedings{kohaut2025constitutional,
     title = {The Constitutional Filter: Bayesian Estimation of Compliant Agents},
     author = {Kohaut, Simon and Divo, Felix and Flade, Benedict and Dhami, Devendra Singh and Eggert, Julian and Kersting, Kristian},
     booktitle = {2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
     pages = {3092--3099},
     year = {2025},
     organization = {IEEE},
   }

3. arXiv

   The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents

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

   arXiv preprint arXiv:2507.15478, 2025

   arXiv Bib PDF Code

   @article{kohaut2025constitutional_controller,
     title = {The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents},
     author = {Kohaut, Simon and Divo, Felix and Hamid, Navid and Flade, Benedict and Eggert, Julian and Dhami, Devendra Singh and Kersting, Kristian},
     journal = {arXiv preprint arXiv:2507.15478},
     year = {2025},
   }

4. IEEE T-ITS

   Probabilistic mission design for neuro-symbolic unmanned aircraft systems

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

   IEEE Transactions on Intelligent Transportation Systems, 2025

   arXiv Bib PDF Code

   @article{kohaut2025probabilistic,
     title = {Probabilistic mission design for neuro-symbolic unmanned aircraft systems},
     author = {Kohaut, Simon and Flade, Benedict and Ochs, Daniel and Dhami, Devendra Singh and Eggert, Julian and Kersting, Kristian},
     journal = {IEEE Transactions on Intelligent Transportation Systems},
     year = {2025},
     publisher = {IEEE},
   }

2024

1. IEEE ICUAS

   Towards Probabilistic Clearance, Explanation and Optimization

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

   In 2024 International Conference on Unmanned Aircraft Systems (ICUAS), 2024

   arXiv Bib PDF Code

   @inproceedings{kohaut2024towards,
     title = {Towards Probabilistic Clearance, Explanation and Optimization},
     author = {Kohaut, Simon and Flade, Benedict and Dhami, Devendra Singh and Eggert, Julian and Kersting, Kristian},
     booktitle = {2024 International Conference on Unmanned Aircraft Systems (ICUAS)},
     year = {2024},
   }

2. IEEE ITSC

   StaR Maps: Unveiling Uncertainty in Geospatial Relations

   Benedict Flade, Simon Kohaut, Devendra Singh Dhami, and Kristian Kersting

   In 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC), 2024

   arXiv Bib PDF Code

   @inproceedings{flade2024star,
     title = {StaR Maps: Unveiling Uncertainty in Geospatial Relations},
     author = {Flade, Benedict and Kohaut, Simon and Dhami, Devendra Singh and Kersting, Kristian},
     booktitle = {2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC)},
     year = {2024},
   }

3. arXiv

   Answer set networks: Casting answer set programming into deep learning

   Arseny Skryagin, Daniel Ochs, Phillip Deibert, Simon Kohaut, Devendra Singh Dhami, and Kristian Kersting

   arXiv preprint arXiv:2412.14814, 2024

   arXiv Bib PDF

   @article{skryagin2024answer,
     title = {Answer set networks: Casting answer set programming into deep learning},
     author = {Skryagin, Arseny and Ochs, Daniel and Deibert, Phillip and Kohaut, Simon and Dhami, Devendra Singh and Kersting, Kristian},
     journal = {arXiv preprint arXiv:2412.14814},
     year = {2024},
   }

2023

1. IEEE ITSC

   Mission design for unmanned aerial vehicles using hybrid probabilistic logic programs

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

   In 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), 2023

   arXiv Bib PDF Code

   @inproceedings{kohaut2023mission,
     title = {Mission design for unmanned aerial vehicles using hybrid probabilistic logic programs},
     author = {Kohaut, Simon and Flade, Benedict and Dhami, Devendra Singh and Eggert, Julian and Kersting, Kristian},
     booktitle = {2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)},
     pages = {1506--1513},
     year = {2023},
     organization = {IEEE},
   }

2. Patent

   Probabilistic mission design

   Benedict Flade, Tim PUPHAL, and Simon Kohaut

   Oct 2023

   US Patent App. 18/192,660

   Bib

   @misc{flade2023probabilistic,
     title = {Probabilistic mission design},
     author = {Flade, Benedict and PUPHAL, Tim and Kohaut, Simon},
     year = {2023},
     month = oct,
     note = {US Patent App. 18/192,660}
   }

2021

1. IEEE ITSC

   Error decomposition for hybrid localization systems

   Benedict Flade, Simon Kohaut, and Julian Eggert

   In 2021 IEEE International Intelligent Transportation Systems Conference (ITSC), 2021

   arXiv Bib PDF

   @inproceedings{flade2021error,
     title = {Error decomposition for hybrid localization systems},
     author = {Flade, Benedict and Kohaut, Simon and Eggert, Julian},
     booktitle = {2021 IEEE International Intelligent Transportation Systems Conference (ITSC)},
     pages = {149--156},
     year = {2021},
     organization = {IEEE},
   }

2. Patent

   Analysis of localization errors in a mobile object

   Benedict Flade, Julian Eggert, Axel Koppert, and Simon Kohaut

   May 2021

   US Patent App. 17/105,510

   Bib

   @misc{flade2021analysis,
     title = {Analysis of localization errors in a mobile object},
     author = {Flade, Benedict and Eggert, Julian and Koppert, Axel and Kohaut, Simon},
     year = {2021},
     month = may,
     note = {US Patent App. 17/105,510}
   }

2018

1. IRSC

   Dynamic simulation model for an autonomous sailboat

   Moritz Bühler, Carsten Heinz, and Simon Kohaut

   In 2018 International Robotic Sailing Conference (IRSC), 2018

   Bib

   @inproceedings{buhler2018dynamic,
     title = {Dynamic simulation model for an autonomous sailboat},
     author = {B{\"u}hler, Moritz and Heinz, Carsten and Kohaut, Simon},
     booktitle = {2018 International Robotic Sailing Conference (IRSC)},
     year = {2018}
   }