Demo: Vulnerability Analysis for STL-Guided Safe Reinforcement Learning in Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore