Robustness-Driven Exploration with Probabilistic Metric Temporal Logic

no code implementations • 3 Dec 2019 • Xiaotian Liu, Pengyi Shi, Sarra Alqahtani, Victor Paúl Pauca, Miles Silman

However, algorithms for autonomous exploration often focus on optimizing time and coverage in a greedy fashion.