M. Vinzent and J. Hoffmann, “Neural Action Policy Safety Verification: Applicablity Filtering”, ICAPS, vol. 34, no. 1, pp. 607-612, May 2024.