-
Formal modeling and verification of self-* systems based on observer/controller-architectures
Nafz, Florian ; Steghöfer, Jan-Philipp ; Seebach, Hella ; Reif, Wolfgang ; Cámara, Javier ; Lemos, Rogério ; Ghezzi, Carlo ; Lopes, Antónia 2013 Universität Augsburg
-
Controlled self-organisation using learning classifier systems
Richter, Urban Maximilian ; Schmeck, H. 2009 KIT Scientific Publishing
-
Organic traffic control
Prothmann, Holger ; Schmeck, H. 2011 KIT Scientific Publishing
-
Die mobile Arbeitsmaschine als komplexes System
Kautzmann, Timo 2014 KIT Scientific Publishing
-
Organic traffic control
Prothmann, Holger 2011 KIT Scientific Publ.