Login / Signup
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.
Kalyani Dole
Ashutosh Gupta
John Komp
Shankaranarayanan Krishna
Ashutosh Trivedi
Published in:
AAAI (2023)
Keyphrases
</>
reinforcement learning
patient specific
function approximation
markov decision processes
user requirements
dynamic programming
state space
optimal policy
learning algorithm
temporal difference
optimal control
supervised learning
multi agent
machine learning
temporal difference learning
policy search
tagged mri