Robustness-driven Exploration with Probabilistic Metric Temporal Logic

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.