lomap

LTL Optimal Multi-Agent Planner
Download

lomap Ranking & Summary

Advertisement

  • Rating:
  • License:
  • MIT/X Consortium Lic...
  • Price:
  • FREE
  • Publisher Name:
  • Alphan Ulusoy
  • Publisher web site:
  • http://code.google.com/u/115771325897136005290/

lomap Tags


lomap Description

lomap is a Python library for optimal control synthesis from linear temporal logic (LTL) specifications that support multiple agents.Product's homepage


lomap Related Software