Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies

Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies

With the development of network technology, security in path planning problems has attracted widespread attention. We consider a path planning problem in which a planner computes a finite path that satisfies a specification. We assume that the specification includes mandatory safety/co-safety specif...

Full description

Bibliographic Details
Main Authors: Koki Kanashima, Toshimitsu Ushio
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Access
Subjects:
HyperLTL
opacity
path planning
safety/co-safety specification
security policy
shield synthesis
Online Access:https://ieeexplore.ieee.org/document/10035993/

Internet

https://ieeexplore.ieee.org/document/10035993/

Similar Items