Roboter sind in der realen Welt oft kaum zu testen: Zu groß ist die Anzahl zu untersuchender Testfälle, die sich zudem oft nur ...