Active Inference for Reactive Temporal Logic Motion Planning
Ziyang Chen,Zhangli Zhou,Lin Li,Zhen Kan,Ziyang Chen,Zhangli Zhou,Lin Li,Zhen Kan
Reactive planning enables the robots to deal with dynamic events in uncertain environments. However, existing methods heavily rely on the predefined hard-coded robot behaviors, e.g, a pre-coded temporal logic formula that specifies how robot should react. Little attention has been paid for autonomous generation of reactive tasks specifications during the runtime. As a first attempt towards this go...
