Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies. - Koki Kanashima; Toshimitsu Ushio (IEEE Access, 2023)