Formal Specification and Testing for Reinforcement Learning - Varshosaz, Mahsa; Ghaffari, Mohsen; Johnsen, Einar Broch; Wąsowski, Andrzej (Proceedings of ACM on programming languages, 2023)
Keywords: Program specifications; Software and its engineering; Software testing and debugging; Theory of computation; specification-based testing; Scala; reinforcement learning