Advice Conformance Verification by Reinforcement Learning agents for Human-in-the-Loop.

Mudit Verma Ayush Kharkwal Subbarao Kambhampati

Published in: CoRR (2022)

Keyphrases

reinforcement learning agents
dynamic environments
reinforcement learning
model checking
state abstraction
data sets
supervised learning
protocol specification