Sign in

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels.

Mohammad HekmatnejadGeorgios Fainekos
Published in: ACC (2018)
Keyphrases
  • multi valued
  • planning tasks
  • single valued
  • multiple valued
  • optimal solution
  • linear temporal logic
  • computer vision
  • binary images
  • temporal logic
  • planning systems