title: Testing of Probabilistic Robotics
topics: Case studies and Applications , Testing
committee: Mariƫlle Stoelinga ,
Marcus Gerhold


Probability plays a role in many different systems: cloud computing, robot navigation algorithms, unreliable communication channels, randomized algorithms and communication protocols, service level agreements for telecommunication systems, etc.When such systems are tested, one does not only check whether the functional behavior is correct, but also if the probabilities match the specified behaviour. To do so, one collects test statistics (traces) and uses standard statistical procedures (such as hypothesis testing) to see if the behaviour is desired.

Since the theory of (model-based) probabilistic testing is realitively new, we like to see how well it works in practice. Thus, the goal of this project is to carry out a case study in probabilistic testing.

The means of testing this could be a small application, such as a robot navigating probabilistically through a maze, or a randomized encryption protocol, etc. - You can also bring your own ideas to the table.