A Goal-Oriented Specification Language for Reinforcement Learning.
Simon SchwanVerena KlösSabine GlesnerPublished in: MDAI (2023)
Keyphrases
- goal oriented
- specification language
- reinforcement learning
- programming language
- formal specification
- description language
- decentralized control
- optimal policy
- function approximation
- requirements analysis
- requirements specification
- data marts
- symbolic execution
- machine learning
- markov decision processes
- state space
- multi agent
- learning algorithm
- fine grained
- data model
- software environment