VeRLPy: Python Library for Verification of Digital Designs with Reinforcement Learning.
Aebel Joe ShibuSadhana SShilpa NPratyush KumarPublished in: CoRR (2021)
Keyphrases
- reinforcement learning
- function approximation
- open source
- model checking
- programming language
- machine learning
- digital media
- formal methods
- model free
- markov decision processes
- circuit design
- design space
- open source software
- neural network
- object oriented
- learning algorithm
- optimal policy
- general purpose
- digital content
- dynamic programming
- action selection
- case study
- reinforcement learning algorithms
- genetic algorithm
- development tools
- scripting language