Universal Policies for Software-Defined MDPs.
Daniel SelsamJesse Michael HanLeonardo de MouraPatrice GodefroidPublished in: CoRR (2020)
Keyphrases
- optimal policy
- markov decision processes
- markov decision process
- software tools
- software systems
- reinforcement learning
- markov decision problems
- software design
- software maintenance
- computer systems
- source code
- software projects
- test cases
- development process
- sufficient conditions
- initial state
- software engineering