Studentenvorträge zu Projekt- und Abschlussarbeiten:

-------------------------------------------------------

Michael Würtinger: Neuroevolution for Robot Control - Test Framework and Experimental Evaluation

Diplomarbeit - betreut von Dr. Matthias Hölzl, Annabelle Klarl, Christian Kroiß

Many different approaches exist for programming robots. One particularly interesting approach is the usage of Artificial Neural Networks (ANNs) that try to model the human brain in a highly simplified manner. While most papers only present the algorithms producing the desired results, this thesis systematically compares different approaches. To accomplish this a test framework has been developed which simplifies the task of running hundreds of experiment variations in parallel. A simple, but challenging foraging task has been designed where robots compete for a limited amount of resources to evaluate algorithm performance.

-------------------------------------------------------

Fabian Knopf: Theory and tool support for modal contracts of software components

Diplomarbeit - betreut von Sebastian Bauer, Prof. Dr. Rolf Hennicker

The subject of this thesis is the introduction of the concept of "contracts" to modal transition systems. It aims to provide intuitive notions of contract satisfaction by introducing a "relativized refinement" relation, together with the concept of a "normal form" where satisfaction equals normal strong modal refinement. Additionally, operations on modal transition systems are extended to contracts. As a practical aspect, it extends the MIO Workbench, a formal verification tool for modal input/output automata, to accommodate the design of and operations on contracts.

-------------------------------------------------------