Universität zu LübeckThesis System

Anticipation of Future States with Increasing Uncertainty

Why is this topic relevant?

Focus of your work

What you should bring with you

What you will learn (at least) during your thesis

  • Modelling decision-making under uncertainty and reasoning about future system states
  • Understanding and formalising trade-offs between autonomy, risk, and intervention costs
  • Conducting a small-scale empirical evaluation of the proposed approach
  • Interpreting results in terms of system behaviour, robustness, and practical feasibility

What we offer

  • Application of theoretical concepts with direct connection to real-world scenarios
  • Expertise in various fields, such as psychology, cognitive science, computer science, and robotics
  • A reliable contact person who will support you with questions or problems
  • The satisfaction of having contributed to ongoing research, meaning that your thesis will have added value beyond its immediate scope
  • Communication and thesis in German or English (depending on your preference)

Sounds like your kind of role? Let’s talk. Please let us know:

  • Who are you, what are you studying and what stage are you at (which semester)?
  • What is your background? Have you already taken any of our modules, e.g. HMI, Intelligent Agents, CCS?
  • When would you like to start and what are your temporal requirements?
  • What interests you about this topic? Which aspects are particularly relevant to you?
  • Do you have any preferences regarding what you would like to learn during your thesis or how you would like our collaboration to be structured?

We look forward to hearing from you!

Related Thesis Topics

— The explanatory text is provided here in English only. However, the thesis may also be written in German. — We have one thesis project available that focusses on the anticipation of human behaviour. An experimental setup and a data set already exist where participants were asked to make tea in a VR environment. There […]

Mapping the European AI HLEG Trustworthiness Framework to Formal Methods

FPGA‑Based Quantum‑Computer Simulator with a Web‑Based Design‑Run‑Analyse Front‑End

Redirecting Clang’s MCDC Coverage Instrumentation to ARM CoreSight: A High‑Performance, Hardware‑Backed Coverage Collection Framework

AI‑Enhanced Formal‑Methods‑as‑a‑Service: Designing, Implementing, and Evaluating an MCP‑Based Backend that Powers a VS Code Copilot Extension for Automated Program Analysis and Verification.

This thesis is to be carried out in cooperation with Gerardo Schneider from the University of Gothenburg. Motivation and ImportanceNormative systems—systems governed by rules such as obligations, permissions, and prohibitions—are central to many modern domains, including autonomous systems, multi-agent coordination, legal-tech, and business process compliance. As software increasingly operates in open, dynamic environments, ensuring that behavior adheres to […]