Formal Specification and Testing for Reinforcement Learning

The development process for reinforcement learning applications is still exploratory rather than systematic. This exploratory nature reduces reuse of specifications between applications and increases the chances of introducing programming errors. This paper takes a step towards systematizing the dev...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 7; no. ICFP; pp. 125 - 158
Main Authors:	Varshosaz, Mahsa, Ghaffari, Mohsen, Johnsen, Einar Broch, Wąsowski, Andrzej
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 30.08.2023
Subjects:	Program specifications Software and its engineering Software testing and debugging Theory of computation specification-based testing Scala reinforcement learning
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!