Evaluating Correctness of Reinforcement Learning based on Actor-Critic Algorithm | IEEE Conference Publication | IEEE Xplore