Dr.sc.ing. degree awarded for theses “Procedure for resolving specification optimization task of heterogeneous robot colony” (2009–2013)