lomap

LTL Optimale multi-agent planner
Download nu

lomap Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • MIT/X Consortium Lic...
  • Prijs:
  • FREE
  • Naam uitgever:
  • Alphan Ulusoy
  • Uitgever website:
  • http://code.google.com/u/115771325897136005290/

lomap Tags


lomap Beschrijving

Lomap is een Python-bibliotheek voor optimale besturingssynthese van lineaire temporele logica (LTL) specificaties die meerdere agenten.product's startpagina ondersteunen


lomap Gerelateerde software