Formal Methods Assisted Training of Safe Reinforcement Learning Agents.

Anitha Murugesan Mohammad Moghadamfalahi Arunabh Chattopadhyay

Published in: NFM (2019)

Keyphrases

formal methods
reinforcement learning agents
model checking
knowledge based systems
reinforcement learning
artificial intelligence
formal specification
training set
software engineering
dynamic environments
modeling language
formal specification language
state abstraction
supervised learning