Knowledge-Informed Auto-Penetration Testing Based on Reinforcement Learning with Reward Machine | IEEE Conference Publication | IEEE Xplore