Vinzent, M.; Hoffmann, J. Neural Action Policy Safety Verification: Applicablity Filtering. ICAPS 2024, 34, 607-612.