Safe Reinforcement Learning via Probabilistic Timed Computation Tree Logic.

Li Qian Jing Liu

Published in: IJCNN (2020)

Keyphrases

computation tree logic
reinforcement learning
model checking
temporal logic
petri net
probabilistic model
state space
finite state machines
bayesian networks
domain independent
bounded model checking
multi agent
multi agent systems
dynamic programming
uncertain data
temporal properties