VeRLPy: Python Library for Verification of Digital Designs with Reinforcement Learning.
Aebel Joe ShibuSadhana SShilpa NPratyush KumarPublished in: AIMLSystems (2021)
Keyphrases
- reinforcement learning
- programming language
- open source
- function approximation
- model checking
- state space
- digital collections
- formal verification
- robotic control
- open source software
- optimal control
- optimal policy
- dynamic programming
- multi agent
- temporal difference learning
- scripting language
- markov decision processes
- signature verification
- digital media
- user friendly
- neural network
- object oriented
- case study
- learning algorithm