Login / Signup
Efficient Shield Synthesis via State-Space Transformation.
Asger Horn Brorholt
Andreas Holck Høeg-Petersen
Kim Guldstrand Larsen
Christian Schilling
Published in:
CoRR (2024)
Keyphrases
</>
state space
reinforcement learning
multi agent
heuristic search
machine learning
learning algorithm
objective function
relational databases
search space
optimal policy
program synthesis