Xiaotian Liu, Pengyi Shi, Tongtong Liu, Sarra Alqahtani, Paúl Pauca, Miles Silman. Robustness-driven Exploration with Probabilistic Metric Temporal Logic. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 2, Online Streaming, February 4-6, 2021. pages 57-66, SCITEPRESS, 2021.
Abstract is missing.