Active Perception and Control from Temporal Logic Specifications

Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin

Next-generation autonomous systems must execute complex tasks in uncertain environments. Active perception, where an autonomous agent selects actions to increase knowledge about th…