Towards Scalable Verification of RL-Driven Systems.

Guy Amir Michael Schapira Guy Katz

Published in: CoRR (2021)

Keyphrases

data intensive
reinforcement learning
building blocks
artificial intelligence
complex systems
markov decision processes
asynchronous circuits
expert systems
dynamic programming
retrieval systems