Sign in

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

Mudit VermaAyush KharkwalSubbarao Kambhampati
Published in: CoRR (2022)
Keyphrases
  • reinforcement learning agents
  • dynamic environments
  • reinforcement learning
  • model checking
  • state abstraction
  • data sets
  • supervised learning
  • protocol specification