Zielgerichtetes End-User-Programmieren von Robotern

Polaris, ein neuartiges zielgerichtetes End-User-Programmier-System, ermöglicht es Endbenutzern, Roboterprogramme auf einem hohen Abstraktionsniveau zu erstellen, indem sie Zielprädikate anstelle von Aktionen verwenden. Das System bietet außerdem einen Plan-Visualisierer, der den Benutzern Feedback zu den generierten Plänen gibt, um ihre Erwartungen an die Roboterleistung zu erfüllen.