Neue Methode zur Verifizierung der Kollisionsvermeidung von Multiagentensystemen mit gelernten Richtlinien vorgestellt.
