Login / Signup

Learning to Execute Timed-Temporal-Logic Navigation Tasks under Input Constraints in Obstacle-Cluttered Environments.

Fotios TolisPanagiotis S. TrakasTaxiarchis-Foivos BlounasChristos K. VerginisCharalampos P. Bechlioulis
Published in: Robotics (2024)
Keyphrases
  • temporal logic
  • cluttered environments
  • learning algorithm
  • model checking
  • computer vision
  • real time
  • image sequences
  • mobile robot
  • domain independent