In: Kevin McMillan; Aart Middeldorp; Andrei Voronkov (Hrsg.). Proceedings of the 19th International Conference on Logic for Programming, Artificial …
Thomas Röfer; Tim Laue; Judith Müller; Michel Bartsch; Arne Böckmann; Florian Maaß; Thomas Münder; Marcel Steinbeck; Simon Taddiken; Alexis Tsogias; Felix Wenk
In: Sven Behnke; Manuela Veloso; Arnoud Visser; Rong Xiong (Hrsg.). RoboCup 2013: Robot World Cup XVII Preproceedings. RoboCup International Symposium …
Moritz Kümmerling; Christian Heilmann; Gerrit Meixner
In: S. Narayanan (Hrsg.). Analysis, Design, and Evaluation of Human-Machine Systems. IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation …