Lomap.

LTL Optimaler Multi-Agent-Planer
Jetzt downloaden

Lomap. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • MIT/X Consortium Lic...
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Alphan Ulusoy
  • Website des Verlags:
  • http://code.google.com/u/115771325897136005290/

Lomap. Stichworte


Lomap. Beschreibung

LOMAP ist eine Python-Bibliothek für eine optimale Steuerungssynthese von Linear Temporal Logic (LTL) Spezifikationen, die mehrere Agenten unterstützen. Product's Homepage


Lomap. Zugehörige Software