RAVEN: Reinforcement Learning for Generating Verifiable Run-Time Requirement Enforcers for MPSoCs.
Khalil EsperJan SpieckPierre-Louis SixdenierStefan WildermannJürgen TeichPublished in: NG-RES@HiPEAC (2023)
Keyphrases
- reinforcement learning
- function approximation
- databases
- machine learning
- learning algorithm
- model free
- sufficient conditions
- state space
- dynamic programming
- reinforcement learning algorithms
- action selection
- learning process
- real time
- markov decision processes
- database systems
- information systems
- real world
- generation process
- temporal difference learning