Robustness-Driven Exploration with Probabilistic Metric Temporal Logic

Xiaotian Liu, Pengyi Shi, Sarra Alqahtani +2

The ability to perform autonomous exploration is essential for unmanned aerial vehicles (UAV) operating in unstructured or unknown environments where it is hard or even impossible…