{"data":{"id":"10.48550/arxiv.2207.02387","type":"dois","attributes":{"doi":"10.48550/arxiv.2207.02387","prefix":"10.48550","suffix":"arxiv.2207.02387","identifiers":[{"identifier":"2207.02387","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"2207.02387"}],"creators":[{"name":"Hasuo, Ichiro","nameType":"Personal","givenName":"Ichiro","familyName":"Hasuo","affiliation":[],"nameIdentifiers":[]},{"name":"Eberhart, Clovis","nameType":"Personal","givenName":"Clovis","familyName":"Eberhart","affiliation":[],"nameIdentifiers":[]},{"name":"Haydon, James","nameType":"Personal","givenName":"James","familyName":"Haydon","affiliation":[],"nameIdentifiers":[]},{"name":"Dubut, Jérémy","nameType":"Personal","givenName":"Jérémy","familyName":"Dubut","affiliation":[],"nameIdentifiers":[]},{"name":"Bohrer, Rose","nameType":"Personal","givenName":"Rose","familyName":"Bohrer","affiliation":[],"nameIdentifiers":[]},{"name":"Kobayashi, Tsutomu","nameType":"Personal","givenName":"Tsutomu","familyName":"Kobayashi","affiliation":[],"nameIdentifiers":[]},{"name":"Pruekprasert, Sasinee","nameType":"Personal","givenName":"Sasinee","familyName":"Pruekprasert","affiliation":[],"nameIdentifiers":[]},{"name":"Zhang, Xiao-Yi","nameType":"Personal","givenName":"Xiao-Yi","familyName":"Zhang","affiliation":[],"nameIdentifiers":[]},{"name":"Pallas, Erik André","nameType":"Personal","givenName":"Erik André","familyName":"Pallas","affiliation":[],"nameIdentifiers":[]},{"name":"Yamada, Akihisa","nameType":"Personal","givenName":"Akihisa","familyName":"Yamada","affiliation":[],"nameIdentifiers":[]},{"name":"Suenaga, Kohei","nameType":"Personal","givenName":"Kohei","familyName":"Suenaga","affiliation":[],"nameIdentifiers":[]},{"name":"Ishikawa, Fuyuki","nameType":"Personal","givenName":"Fuyuki","familyName":"Ishikawa","affiliation":[],"nameIdentifiers":[]},{"name":"Kamijo, Kenji","nameType":"Personal","givenName":"Kenji","familyName":"Kamijo","affiliation":[],"nameIdentifiers":[]},{"name":"Shinya, Yoshiyuki","nameType":"Personal","givenName":"Yoshiyuki","familyName":"Shinya","affiliation":[],"nameIdentifiers":[]},{"name":"Suetomi, Takamasa","nameType":"Personal","givenName":"Takamasa","familyName":"Suetomi","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Goal-Aware RSS for Complex Scenarios via Program Logic"}],"publisher":"arXiv","container":{},"publicationYear":2022,"subjects":[{"lang":"en","subject":"Robotics (cs.RO)","subjectScheme":"arXiv"},{"lang":"en","subject":"Logic in Computer Science (cs.LO)","subjectScheme":"arXiv"},{"subject":"FOS: Computer and information sciences","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"I.2.9; F.4.1","subjectScheme":"ACM"}],"contributors":[],"dates":[{"date":"2022-07-06T01:27:14Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2022-07-07T00:06:28Z","dateType":"Updated","dateInformation":"v1"},{"date":"2022-07","dateType":"Available","dateInformation":"v1"},{"date":"2022","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"IsVersionOf","relatedIdentifier":"10.1109/tiv.2022.3169762","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"Creative Commons Attribution Non Commercial No Derivatives 4.0 International","rightsUri":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","schemeUri":"https://spdx.org/licenses/","rightsIdentifier":"cc-by-nc-nd-4.0","rightsIdentifierScheme":"SPDX"}],"descriptions":[{"description":"We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement -- in addition to collision avoidance as in the original RSS -- requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller subscenarios and combine them to obtain RSS rules for bigger scenarios. As the basis of the framework, we introduce a program logic dFHL that accommodates continuous dynamics and safety conditions. Our framework presents a dFHL-based workflow for deriving goal-aware RSS rules; we discuss its software support, too. We conducted experimental evaluation using RSS rules in a safety architecture. Its results show that goal-aware RSS is indeed effective in realising both collision avoidance and goal achievement.","descriptionType":"Abstract"},{"description":"33 pages, 18 figures, 1 table. Accepted for publication in IEEE Transactions on Intelligent Vehicles","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4yMjA3LjAyMzg3PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+MjIwNy4wMjM4NzwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5IYXN1bywgSWNoaXJvPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5JY2hpcm88L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+SGFzdW88L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+RWJlcmhhcnQsIENsb3ZpczwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+Q2xvdmlzPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkViZXJoYXJ0PC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkhheWRvbiwgSmFtZXM8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkphbWVzPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkhheWRvbjwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5EdWJ1dCwgSsOpcsOpbXk8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkrDqXLDqW15PC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkR1YnV0PC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkJvaHJlciwgUm9zZTwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+Um9zZTwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5Cb2hyZXI8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+S29iYXlhc2hpLCBUc3V0b211PC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5Uc3V0b211PC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPktvYmF5YXNoaTwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5QcnVla3ByYXNlcnQsIFNhc2luZWU8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPlNhc2luZWU8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+UHJ1ZWtwcmFzZXJ0PC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPlpoYW5nLCBYaWFvLVlpPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5YaWFvLVlpPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPlpoYW5nPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPlBhbGxhcywgRXJpayBBbmRyw6k8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkVyaWsgQW5kcsOpPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPlBhbGxhczwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5ZYW1hZGEsIEFraWhpc2E8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkFraWhpc2E8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+WWFtYWRhPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPlN1ZW5hZ2EsIEtvaGVpPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5Lb2hlaTwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5TdWVuYWdhPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPklzaGlrYXdhLCBGdXl1a2k8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkZ1eXVraTwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5Jc2hpa2F3YTwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5LYW1pam8sIEtlbmppPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5LZW5qaTwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5LYW1pam88L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+U2hpbnlhLCBZb3NoaXl1a2k8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPllvc2hpeXVraTwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5TaGlueWE8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+U3VldG9taSwgVGFrYW1hc2E8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPlRha2FtYXNhPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPlN1ZXRvbWk8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPkdvYWwtQXdhcmUgUlNTIGZvciBDb21wbGV4IFNjZW5hcmlvcyB2aWEgUHJvZ3JhbSBMb2dpYzwvdGl0bGU+CiAgPC90aXRsZXM+CiAgPHB1Ymxpc2hlcj5hclhpdjwvcHVibGlzaGVyPgogIDxwdWJsaWNhdGlvblllYXI+MjAyMjwvcHVibGljYXRpb25ZZWFyPgogIDxzdWJqZWN0cz4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPlJvYm90aWNzIChjcy5STyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Mb2dpYyBpbiBDb21wdXRlciBTY2llbmNlIChjcy5MTyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBDb21wdXRlciBhbmQgaW5mb3JtYXRpb24gc2NpZW5jZXM8L3N1YmplY3Q+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9IkFDTSI+SS4yLjk7IEYuNC4xPC9zdWJqZWN0PgogIDwvc3ViamVjdHM+CiAgPGRhdGVzPgogICAgPGRhdGUgZGF0ZVR5cGU9IlN1Ym1pdHRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAyMi0wNy0wNlQwMToyNzoxNFo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iVXBkYXRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAyMi0wNy0wN1QwMDowNjoyOFo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iQXZhaWxhYmxlIiBkYXRlSW5mb3JtYXRpb249InYxIj4yMDIyLTA3PC9kYXRlPgogIDwvZGF0ZXM+CiAgPHJlc291cmNlVHlwZSByZXNvdXJjZVR5cGVHZW5lcmFsPSJUZXh0Ij5BcnRpY2xlPC9yZXNvdXJjZVR5cGU+CiAgPHJlbGF0ZWRJZGVudGlmaWVycz4KICAgIDxyZWxhdGVkSWRlbnRpZmllciByZWxhdGVkSWRlbnRpZmllclR5cGU9IkRPSSIgcmVsYXRpb25UeXBlPSJJc1ZlcnNpb25PZiI+MTAuMTEwOS9USVYuMjAyMi4zMTY5NzYyPC9yZWxhdGVkSWRlbnRpZmllcj4KICA8L3JlbGF0ZWRJZGVudGlmaWVycz4KICA8dmVyc2lvbj4xPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LW5jLW5kLzQuMC8iIHJpZ2h0c0lkZW50aWZpZXJTY2hlbWU9IlNQRFgiIHJpZ2h0c0lkZW50aWZpZXI9IkNDLUJZLU5DLU5ELTQuMCI+Q3JlYXRpdmUgQ29tbW9ucyBBdHRyaWJ1dGlvbiBOb24gQ29tbWVyY2lhbCBObyBEZXJpdmF0aXZlcyA0LjAgSW50ZXJuYXRpb25hbDwvcmlnaHRzPgogIDwvcmlnaHRzTGlzdD4KICA8ZGVzY3JpcHRpb25zPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iQWJzdHJhY3QiPldlIGludHJvZHVjZSBhIGdvYWwtYXdhcmUgZXh0ZW5zaW9uIG9mIHJlc3BvbnNpYmlsaXR5LXNlbnNpdGl2ZSBzYWZldHkgKFJTUyksIGEgcmVjZW50IG1ldGhvZG9sb2d5IGZvciBydWxlLWJhc2VkIHNhZmV0eSBndWFyYW50ZWUgZm9yIGF1dG9tYXRlZCBkcml2aW5nIHN5c3RlbXMgKEFEUykuIE1ha2luZyBSU1MgcnVsZXMgZ3VhcmFudGVlIGdvYWwgYWNoaWV2ZW1lbnQgLS0gaW4gYWRkaXRpb24gdG8gY29sbGlzaW9uIGF2b2lkYW5jZSBhcyBpbiB0aGUgb3JpZ2luYWwgUlNTIC0tIHJlcXVpcmVzIGNvbXBsZXggcGxhbm5pbmcgb3ZlciBsb25nIHNlcXVlbmNlcyBvZiBtYW5vZXV2cmVzLiBUbyBkZWFsIHdpdGggdGhlIGNvbXBsZXhpdHksIHdlIGludHJvZHVjZSBhIGNvbXBvc2l0aW9uYWwgcmVhc29uaW5nIGZyYW1ld29yayBiYXNlZCBvbiBwcm9ncmFtIGxvZ2ljLCBpbiB3aGljaCBvbmUgY2FuIHN5c3RlbWF0aWNhbGx5IGRldmVsb3AgUlNTIHJ1bGVzIGZvciBzbWFsbGVyIHN1YnNjZW5hcmlvcyBhbmQgY29tYmluZSB0aGVtIHRvIG9idGFpbiBSU1MgcnVsZXMgZm9yIGJpZ2dlciBzY2VuYXJpb3MuIEFzIHRoZSBiYXNpcyBvZiB0aGUgZnJhbWV3b3JrLCB3ZSBpbnRyb2R1Y2UgYSBwcm9ncmFtIGxvZ2ljIGRGSEwgdGhhdCBhY2NvbW1vZGF0ZXMgY29udGludW91cyBkeW5hbWljcyBhbmQgc2FmZXR5IGNvbmRpdGlvbnMuIE91ciBmcmFtZXdvcmsgcHJlc2VudHMgYSBkRkhMLWJhc2VkIHdvcmtmbG93IGZvciBkZXJpdmluZyBnb2FsLWF3YXJlIFJTUyBydWxlczsgd2UgZGlzY3VzcyBpdHMgc29mdHdhcmUgc3VwcG9ydCwgdG9vLiBXZSBjb25kdWN0ZWQgZXhwZXJpbWVudGFsIGV2YWx1YXRpb24gdXNpbmcgUlNTIHJ1bGVzIGluIGEgc2FmZXR5IGFyY2hpdGVjdHVyZS4gSXRzIHJlc3VsdHMgc2hvdyB0aGF0IGdvYWwtYXdhcmUgUlNTIGlzIGluZGVlZCBlZmZlY3RpdmUgaW4gcmVhbGlzaW5nIGJvdGggY29sbGlzaW9uIGF2b2lkYW5jZSBhbmQgZ29hbCBhY2hpZXZlbWVudC48L2Rlc2NyaXB0aW9uPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iT3RoZXIiPjMzIHBhZ2VzLCAxOCBmaWd1cmVzLCAxIHRhYmxlLiBBY2NlcHRlZCBmb3IgcHVibGljYXRpb24gaW4gSUVFRSBUcmFuc2FjdGlvbnMgb24gSW50ZWxsaWdlbnQgVmVoaWNsZXM8L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/2207.02387","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-07-07T00:51:45.000Z","registered":"2022-07-07T00:51:45.000Z","published":"2022","updated":"2022-07-07T00:51:45.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.2207.02387","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}