@phdthesis{Kiekbusch17,
Author = {Lisa Kiekbusch},
Title = {Analysis and Verification of Complex Robot Systems using Behaviour-Based Control},
School = {Department of Computer Science, University of Kaiserslautern},
Year = {2017},
Month = {March},
}