{"id":"https://openalex.org/W4319068987","doi":"https://doi.org/10.1109/access.2023.3241946","title":"Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies","display_name":"Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4319068987","doi":"https://doi.org/10.1109/access.2023.3241946"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3241946","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3241946","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/10005208/10035993.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/10005208/10035993.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021627957","display_name":"Koki Kanashima","orcid":"https://orcid.org/0000-0001-5297-645X"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Koki Kanashima","raw_affiliation_strings":["Graduate School of Engineering Science, Osaka University, Toyonaka, Japan"],"raw_orcid":"https://orcid.org/0000-0001-5297-645X","affiliations":[{"raw_affiliation_string":"Graduate School of Engineering Science, Osaka University, Toyonaka, Japan","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046686505","display_name":"Toshimitsu Ushio","orcid":"https://orcid.org/0000-0002-4009-270X"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Toshimitsu Ushio","raw_affiliation_strings":["Graduate School of Engineering Science, Osaka University, Toyonaka, Japan"],"raw_orcid":"https://orcid.org/0000-0002-4009-270X","affiliations":[{"raw_affiliation_string":"Graduate School of Engineering Science, Osaka University, Toyonaka, Japan","institution_ids":["https://openalex.org/I98285908"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I98285908"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.5468,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75207469,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"11","issue":null,"first_page":"11766","last_page":"11780"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/shield","display_name":"Shield","score":0.551892876625061},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5239929556846619},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.47001126408576965},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.45587605237960815},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4210221767425537},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.37917789816856384},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.29985207319259644},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.16225308179855347},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.07947516441345215}],"concepts":[{"id":"https://openalex.org/C138081364","wikidata":"https://www.wikidata.org/wiki/Q852013","display_name":"Shield","level":2,"score":0.551892876625061},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5239929556846619},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.47001126408576965},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.45587605237960815},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4210221767425537},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.37917789816856384},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.29985207319259644},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.16225308179855347},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.07947516441345215},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C5900021","wikidata":"https://www.wikidata.org/wiki/Q163082","display_name":"Petrology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2023.3241946","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3241946","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/10005208/10035993.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:fd52f89c0de64da080c0debba64ca721","is_oa":true,"landing_page_url":"https://doaj.org/article/fd52f89c0de64da080c0debba64ca721","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 11, Pp 11766-11780 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3241946","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3241946","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/10005208/10035993.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1761547297","display_name":"AI\u96c6\u7d04\u7684\u30b5\u30a4\u30d0\u30fc\u30d5\u30a3\u30b8\u30ab\u30eb\u30b7\u30b9\u30c6\u30e0\u306e\u5f62\u5f0f\u7684\u89e3\u6790\u8a2d\u8a08\u624b\u6cd5","funder_award_id":"JPMJCR2012","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"},{"id":"https://openalex.org/G2521286739","display_name":null,"funder_award_id":"CREST","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"},{"id":"https://openalex.org/G8008078829","display_name":null,"funder_award_id":"JPMJCR2012","funder_id":"https://openalex.org/F4320338075","funder_display_name":"Core Research for Evolutional Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"},{"id":"https://openalex.org/F4320338075","display_name":"Core Research for Evolutional Science and Technology","ror":"https://ror.org/00097mb19"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4319068987.pdf","grobid_xml":"https://content.openalex.org/works/W4319068987.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W1213177963","https://openalex.org/W1480909796","https://openalex.org/W1498432697","https://openalex.org/W1512310098","https://openalex.org/W1533557569","https://openalex.org/W1540883472","https://openalex.org/W1547304883","https://openalex.org/W1549880792","https://openalex.org/W1562284768","https://openalex.org/W1700264732","https://openalex.org/W2016206563","https://openalex.org/W2036265926","https://openalex.org/W2041701185","https://openalex.org/W2061598829","https://openalex.org/W2064572756","https://openalex.org/W2064886960","https://openalex.org/W2092884371","https://openalex.org/W2108036288","https://openalex.org/W2143760481","https://openalex.org/W2151958719","https://openalex.org/W2497873071","https://openalex.org/W2528851098","https://openalex.org/W2594675090","https://openalex.org/W2735511423","https://openalex.org/W2803222079","https://openalex.org/W2883844343","https://openalex.org/W2912987268","https://openalex.org/W2954005548","https://openalex.org/W2963149920","https://openalex.org/W2963199590","https://openalex.org/W2963575966","https://openalex.org/W2964335063","https://openalex.org/W2967324402","https://openalex.org/W2972769943","https://openalex.org/W2981460880","https://openalex.org/W2987585208","https://openalex.org/W2987958996","https://openalex.org/W2998155552","https://openalex.org/W3064086008","https://openalex.org/W3089490871","https://openalex.org/W3119785025","https://openalex.org/W3143080648","https://openalex.org/W3184164189","https://openalex.org/W3184417962","https://openalex.org/W3185868470","https://openalex.org/W3195425131","https://openalex.org/W3202626246","https://openalex.org/W3205951249","https://openalex.org/W3206405735","https://openalex.org/W3210476636","https://openalex.org/W4206261337","https://openalex.org/W4206807714","https://openalex.org/W4206827621","https://openalex.org/W4221161625","https://openalex.org/W4225484022","https://openalex.org/W4229016568","https://openalex.org/W4231208998","https://openalex.org/W4231640108","https://openalex.org/W4246038204","https://openalex.org/W4406653338","https://openalex.org/W6635300605","https://openalex.org/W6789259823","https://openalex.org/W6802511168","https://openalex.org/W6811027524"],"related_works":["https://openalex.org/W191020423","https://openalex.org/W212028160","https://openalex.org/W4388071457","https://openalex.org/W2359600231","https://openalex.org/W2380019117","https://openalex.org/W3138952546","https://openalex.org/W1987886368","https://openalex.org/W1660309994","https://openalex.org/W2369187583","https://openalex.org/W3197207153"],"abstract_inverted_index":{"With":[0],"the":[1,36,55,80,84,92,99,105,113,122,129,155,160,168,174,178,191,195],"development":[2],"of":[3,159,170,194,199],"network":[4],"technology,":[5],"security":[6,46,96,114],"in":[7,21],"path":[8,18,28,81,131,150,180],"planning":[9,19,202],"problems":[10],"has":[11],"attracted":[12],"widespread":[13],"attention.":[14],"We":[15,33,102,188],"consider":[16,44,142],"a":[17,23,26,31,45,74,117,133,200],"problem":[20,145],"which":[22],"planner":[24,85],"computes":[25],"finite":[27],"that":[29,35,54,104,158,167,198],"satisfies":[30],"specification.":[32],"assume":[34,53,103],"specification":[37],"includes":[38],"mandatory":[39],"safety/co-safety":[40,93,106],"specifications.":[41],"Moreover,":[42],"we":[43,52,66,120,141],"policy":[47,97,115],"for":[48],"this":[49],"path.":[50,162],"However,":[51],"information":[56,153,176],"leaked":[57,100,152,175],"to":[58,72,90,185],"an":[59,68,139,143],"intruder":[60],"is":[61,148,154],"not":[62],"known":[63],"beforehand.":[64],"Then,":[65],"propose":[67],"enforcement":[69],"mechanism":[70,78],"referred":[71],"as":[73,86,88,157],"finite-horizon":[75],"shield.":[76],"This":[77],"modifies":[79],"computed":[82],"by":[83,110,116,203],"small":[87],"possible":[89],"satisfy":[91],"specifications":[94,107],"and":[95,112,127,177],"under":[98],"information.":[101],"are":[108],"described":[109],"LTL${}_{f}$formulas":[111],"hyperLTL${}_{f}$formula.":[118],"Subsequently,":[119],"convert":[121],"formulas":[123,126],"into":[124],"quantified":[125],"compute":[128],"modified":[130,161,179],"using":[132],"satisfiability":[134],"modulo":[135],"theories":[136],"solver.":[137],"As":[138],"example,":[140],"opacity":[144],"where":[146],"there":[147],"another":[149],"whose":[151],"same":[156],"By":[163],"simulations,":[164],"it":[165],"confirms":[166],"output":[169],"shield":[171,196],"depends":[172],"on":[173],"may":[181],"have":[182],"additional":[183],"movements":[184],"ensure":[186],"opacity.":[187],"also":[189],"compare":[190],"computation":[192],"time":[193],"with":[197],"security-aware":[201],"simulation.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}