Institute for Computer Science and Control