Login / Signup

Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints.

Takuma KinugawaToshimitsu Ushio
Published in: IEEE Control. Syst. Lett. (2022)
Keyphrases
  • linear temporal logic
  • temporal logic
  • classical planning
  • temporally extended goals
  • planning problems
  • model checking
  • constraint satisfaction
  • machine learning
  • np hard