  Next-generation intelligent systems must plan and execute complex tasks with
imperfect information about their environment. As a result, plans must also
include actions to learn about the environment. This is known as active
perception. Most active perception algorithms rely on reward or cost functions,
which are usually challenging to specify and offer few theoretical guarantees.
On the other hand, symbolic control methods can account for complex tasks using
temporal logic but often do not deal well with uncertainties. This work
combines symbolic control with active perception to achieve complex tasks in a
partially observed and noisy control system with hybrid dynamics. Our basic
idea is to employ a counterexample-guided-inductive-synthesis approach for
control from probabilistic signal temporal logic (PrSTL) specifications. Our
proposed algorithm combines bounded model checking (BMC) with sampling-based
trajectory synthesis for uncertain hybrid systems. Active perception is
inherently built into the framework because PrSTL formulas are defined in the
chance domain.
