@phdthesis{Kiekbusch2017,
  author      = {Lisa Kiekbusch},
  title       = {Analysis and Verification of Complex Robot Systems using Behaviour-Based Control},
  type        = {doctoralthesis},
  pages       = {VI, 150},
  school      = {Technische Universit{\"a}t Kaiserslautern},
  year        = {2017},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-46162},
}