Login / Signup

Temporal Logic Task Planning for Autonomous Systems With Active Acquisition of Information.

Shuaiyi LiMengjie WeiShaoyuan LiXiang Yin
Published in: IEEE Trans. Intell. Veh. (2024)
Keyphrases
  • temporal logic
  • autonomous systems
  • model checking
  • concurrent systems
  • uncertain environments