Formal Specification and Testing for Reinforcement Learning.
Mahsa VarshosazMohsen GhaffariEinar Broch JohnsenAndrzej WasowskiPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- formal specification
- reinforcement learning
- software testing
- model checking
- specification language
- specification languages
- object oriented design
- code generation
- process algebra
- formal methods
- reverse engineering
- function approximation
- data abstraction
- test cases
- concurrent systems
- software components
- state space
- multi agent
- model checker
- markov decision processes
- database
- learning algorithm
- machine learning
- protocol specification
- test suite
- business rules
- high level
- web services