Optimale Planung von Teamaktionen: Mehragenten-Temporallogik-Aufgabenplanung mit Reihenfolgeeinschränkungen

In dieser Arbeit wird ein neues Konzept der Reihenfolgeeinschränkungen für die lineare Temporallogik-Pfadplanung in Mehragentensystemen eingeführt. Das Ziel ist es, einen globalen Plan für das Agententeam zu finden, der die spezifizierten LTL-Anforderungen erfüllt und gleichzeitig eine vorbestimmte Reihenfolge in den Werten der Zielfunktion für jeden Agenten beibehält.