A Model-Based Assessment for the Solution Space of a Cognitive Coffee Robot Waiter. - Thierry Sop Njindam; Torsten Metzler; Udo Lindemann; Kristin Paetzold (CSDM (Posters), 2013)