Sign in

Temporal Logic Robot Task Planning with Active Acquisition of Information.

Jiawei ZhaoXiang YinShaoyuan Li
Published in: ICCA (2022)
Keyphrases
  • temporal logic
  • contextual information
  • model checking
  • mobile robot
  • spatial information
  • reinforcement learning
  • knowledge based systems
  • satisfiability problem
  • information flow