Formal Specification and Testing for Reinforcement Learning

Mahsa Varshosaz, Mohsen Ghaffari 0002, Einar Broch Johnsen, Andrzej Wasowski. Formal Specification and Testing for Reinforcement Learning. Proceedings of the ACM on Programming Languages, 7(ICFP):125-158, August 2023. [doi]

No reviews for this publication, yet.