A Certified Procedure for RL Verification.

Andrei Arusoaie David Nowak Vlad Rusu Dorel Lucanu

Published in: SYNASC (2017)

Keyphrases

reinforcement learning
model checking
data sets
formal verification
iterative procedure
active learning
multi agent
learning algorithm
website
multi agent systems
learning process
artificial intelligence
dynamic programming
sufficient conditions
transfer learning
databases
real time