Login / Signup

A Temporal Logic Framework For Assembly Sequence Planning.

KiamTian ScowR. Devanathan
Published in: IROS (1992)
Keyphrases
  • temporal logic
  • model checking
  • temporally extended
  • temporally extended goals
  • search space
  • logical framework
  • decision theoretic planning
  • transition systems
  • formal specification language