{"id":"https://openalex.org/W3048422354","doi":"https://doi.org/10.1007/978-3-030-54994-7_16","title":"Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent","display_name":"Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3048422354","doi":"https://doi.org/10.1007/978-3-030-54994-7_16","mag":"3048422354"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-54994-7_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-54994-7_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.manchester.ac.uk/portal/en/publications/formalisation-and-implementation-of-road-junction-rules-on-an-autonomous-vehicle-modelled-as-an-agent(47f92b76-6e92-43c4-8bad-48da2bbdef69).html","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084309272","display_name":"Gleifer Vaz Alves","orcid":"https://orcid.org/0000-0002-5937-8193"},"institutions":[{"id":"https://openalex.org/I1283613182","display_name":"Universidade Tecnol\u00f3gica Federal do Paran\u00e1","ror":"https://ror.org/002v2kq79","country_code":"BR","type":"education","lineage":["https://openalex.org/I1283613182"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Gleifer Vaz Alves","raw_affiliation_strings":["UTFPR - Universidade Tecnol\u00f3gica Federal do Paran\u00e1, Ponta Grossa, Brazil"],"raw_orcid":"https://orcid.org/0000-0002-5937-8193","affiliations":[{"raw_affiliation_string":"UTFPR - Universidade Tecnol\u00f3gica Federal do Paran\u00e1, Ponta Grossa, Brazil","institution_ids":["https://openalex.org/I1283613182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040721287","display_name":"Louise A. Dennis","orcid":"https://orcid.org/0000-0003-1426-1896"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Louise Dennis","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, UK"],"raw_orcid":"https://orcid.org/0000-0003-1426-1896","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067587488","display_name":"Michael Fisher","orcid":"https://orcid.org/0000-0002-0875-3862"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Fisher","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, UK"],"raw_orcid":"https://orcid.org/0000-0002-0875-3862","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084309272"],"corresponding_institution_ids":["https://openalex.org/I1283613182"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.2647,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.83748548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"217","last_page":"232"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7946352958679199},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.7153245806694031},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6060782074928284},{"id":"https://openalex.org/keywords/autonomous-agent","display_name":"Autonomous agent","score":0.6052926182746887},{"id":"https://openalex.org/keywords/autonomous-system","display_name":"Autonomous system (mathematics)","score":0.5213995575904846},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5057511329650879},{"id":"https://openalex.org/keywords/obstacle-avoidance","display_name":"Obstacle avoidance","score":0.4364981949329376},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4312354028224945},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.41672271490097046},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.41454005241394043},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.16231197118759155},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.12406203150749207}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7946352958679199},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.7153245806694031},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6060782074928284},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.6052926182746887},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.5213995575904846},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5057511329650879},{"id":"https://openalex.org/C6683253","wikidata":"https://www.wikidata.org/wiki/Q7075535","display_name":"Obstacle avoidance","level":4,"score":0.4364981949329376},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4312354028224945},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41672271490097046},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.41454005241394043},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.16231197118759155},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.12406203150749207},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-54994-7_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-54994-7_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:publications/47f92b76-6e92-43c4-8bad-48da2bbdef69","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.research.manchester.ac.uk/portal/en/publications/formalisation-and-implementation-of-road-junction-rules-on-an-autonomous-vehicle-modelled-as-an-agent(47f92b76-6e92-43c4-8bad-48da2bbdef69).html","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.atira.dk:publications/47f92b76-6e92-43c4-8bad-48da2bbdef69","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/47f92b76-6e92-43c4-8bad-48da2bbdef69","pdf_url":"https://www.research.manchester.ac.uk/portal/en/publications/formalisation-and-implementation-of-road-junction-rules-on-an-autonomous-vehicle-modelled-as-an-agent(47f92b76-6e92-43c4-8bad-48da2bbdef69).html","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Vaz Alves, G, Dennis, L & Fisher, M 2020, Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. in Formal Methods. FM 2019 International Workshops. FM 2019.. Lecture Notes in Computer Science, vol. 12232, Springer Nature. https://doi.org/10.1007/978-3-030-54994-7_16","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/47f92b76-6e92-43c4-8bad-48da2bbdef69","is_oa":true,"landing_page_url":null,"pdf_url":"https://www.research.manchester.ac.uk/portal/en/publications/formalisation-and-implementation-of-road-junction-rules-on-an-autonomous-vehicle-modelled-as-an-agent(47f92b76-6e92-43c4-8bad-48da2bbdef69).html","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.7400000095367432}],"awards":[{"id":"https://openalex.org/G6557167446","display_name":null,"funder_award_id":"EP/L024845/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3048422354.pdf","grobid_xml":"https://content.openalex.org/works/W3048422354.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1608490958","https://openalex.org/W2020787985","https://openalex.org/W2050399473","https://openalex.org/W2620950722","https://openalex.org/W2752286137","https://openalex.org/W2753051499","https://openalex.org/W2767394981","https://openalex.org/W2943773325","https://openalex.org/W3150307761","https://openalex.org/W4238947811","https://openalex.org/W4245831650"],"related_works":["https://openalex.org/W2930076404","https://openalex.org/W2071957557","https://openalex.org/W2596413128","https://openalex.org/W2356867392","https://openalex.org/W2782776446","https://openalex.org/W2155948905","https://openalex.org/W3043170174","https://openalex.org/W1971413691","https://openalex.org/W2357323510","https://openalex.org/W4366961261"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2020-08-18T00:00:00"}