{"id":"https://openalex.org/W4399557603","doi":"https://doi.org/10.1145/3672445","title":"Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions","display_name":"Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions","publication_year":2024,"publication_date":"2024-06-12","ids":{"openalex":"https://openalex.org/W4399557603","doi":"https://doi.org/10.1145/3672445"},"language":"en","primary_location":{"id":"doi:10.1145/3672445","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672445","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672445","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3672445","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087650786","display_name":"Rong Gu","orcid":"https://orcid.org/0000-0003-0570-6005"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Rong Gu","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","M\u00e4lardalen University, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-0570-6005","affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002632564","display_name":"Eduard Baranov","orcid":"https://orcid.org/0000-0002-7357-705X"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Eduard Baranov","raw_affiliation_strings":["UCLouvain, Louvain-la-Neuve, Belgium","UCLouvain, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-7357-705X","affiliations":[{"raw_affiliation_string":"UCLouvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"UCLouvain, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044616648","display_name":"Afshin Ameri","orcid":"https://orcid.org/0000-0002-9437-6599"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Afshin Ameri","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","M\u00e4lardalen University, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-9437-6599","affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025773724","display_name":"Cristina Seceleanu","orcid":"https://orcid.org/0000-0003-2870-2680"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Cristina Seceleanu","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","M\u00e4lardalen University, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-2870-2680","affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016735339","display_name":"Eduard Paul Enoiu","orcid":"https://orcid.org/0000-0003-2416-4205"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Eduard Paul Enoiu","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","M\u00e4lardalen University, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-2416-4205","affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068741062","display_name":"Baran \u00c7\u00fcr\u00fckl\u00fc","orcid":"https://orcid.org/0000-0002-5224-8302"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Baran C\u00fcr\u00fckl\u00fc","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","M\u00e4lardalen University, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-5224-8302","affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030129842","display_name":"Axel Legay","orcid":"https://orcid.org/0000-0003-2287-8925"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["UCLouvain, Louvain-la-Neuve, Belgium","UCLouvain, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-2287-8925","affiliations":[{"raw_affiliation_string":"UCLouvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"UCLouvain, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045641364","display_name":"Kristina Lundqvist","orcid":"https://orcid.org/0000-0003-0904-3712"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Kristina Lundqvist","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","M\u00e4lardalen University, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-0904-3712","affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8749,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73724788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"33","issue":"7","first_page":"1","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9965000152587891,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9929999709129333,"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.8590825796127319},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7568399906158447},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6054762601852417},{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.5974487066268921},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5679197311401367},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5264074206352234},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5137113332748413},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.4493454396724701},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.38117459416389465},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34829068183898926},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2436310350894928},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21370279788970947},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.15921089053153992},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10311907529830933}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8590825796127319},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7568399906158447},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6054762601852417},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.5974487066268921},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5679197311401367},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5264074206352234},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5137113332748413},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.4493454396724701},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.38117459416389465},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34829068183898926},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2436310350894928},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21370279788970947},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.15921089053153992},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10311907529830933},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3672445","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672445","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672445","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:dial.uclouvain.be:boreal:299320","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/299320","pdf_url":null,"source":{"id":"https://openalex.org/S4306400166","display_name":"Digital Access to Libraries","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800384882","host_organization_name":"Harris County Public Library","host_organization_lineage":["https://openalex.org/I2800384882"],"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":"ACM Transactions on Software Engineering and Methodology, Vol. 33, no.7, p. 1-46 (2024)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3672445","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672445","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672445","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.7099999785423279}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399557603.pdf"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W207708960","https://openalex.org/W1498432697","https://openalex.org/W1548132545","https://openalex.org/W1568960560","https://openalex.org/W1767829066","https://openalex.org/W1850929791","https://openalex.org/W1935926926","https://openalex.org/W1969483458","https://openalex.org/W1970269621","https://openalex.org/W1987234253","https://openalex.org/W1987761485","https://openalex.org/W2004796166","https://openalex.org/W2019310097","https://openalex.org/W2034196543","https://openalex.org/W2053684693","https://openalex.org/W2062989416","https://openalex.org/W2101508170","https://openalex.org/W2106417311","https://openalex.org/W2128990851","https://openalex.org/W2137496616","https://openalex.org/W2151958719","https://openalex.org/W2159433799","https://openalex.org/W2169528473","https://openalex.org/W2176215692","https://openalex.org/W2261483311","https://openalex.org/W2479648088","https://openalex.org/W2497121448","https://openalex.org/W2567644825","https://openalex.org/W2594675090","https://openalex.org/W2788226543","https://openalex.org/W2792185122","https://openalex.org/W2811472820","https://openalex.org/W2907948738","https://openalex.org/W2911923469","https://openalex.org/W2947393117","https://openalex.org/W2964257036","https://openalex.org/W2964304034","https://openalex.org/W2968046468","https://openalex.org/W3039276491","https://openalex.org/W3082321794","https://openalex.org/W3095673722","https://openalex.org/W3128894241","https://openalex.org/W3154842816","https://openalex.org/W4206420448","https://openalex.org/W4220979297","https://openalex.org/W4232873957","https://openalex.org/W4245640662","https://openalex.org/W4251408908","https://openalex.org/W4251571580","https://openalex.org/W4307287963","https://openalex.org/W4399555908"],"related_works":["https://openalex.org/W2357124094","https://openalex.org/W2387399993","https://openalex.org/W2389739210","https://openalex.org/W2348924972","https://openalex.org/W2365736347","https://openalex.org/W2047454415","https://openalex.org/W2070040999","https://openalex.org/W2387293848","https://openalex.org/W2250140200","https://openalex.org/W3121791438"],"abstract_inverted_index":{"Mission":[0],"planning":[1],"for":[2,33,51,117,123,135],"multi-agent":[3],"autonomous":[4,168],"systems":[5],"aims":[6],"to":[7],"generate":[8],"feasible":[9],"and":[10,46,62,92,96,133,141,156],"optimal":[11],"mission":[12,119],"plans":[13,36,54,100],"that":[14,27,37,55,88],"satisfy":[15,89],"given":[16],"requirements.":[17],"In":[18],"this":[19],"article,":[20],"we":[21],"propose":[22],"a":[23,30,48,108,114,121,182],"tool-supported":[24],"mission-planning":[25],"methodology":[26],"combines":[28],"(i)":[29],"path-planning":[31],"algorithm":[32],"synthesizing":[34,52],"path":[35,124],"are":[38],"safe":[39],"in":[40,59,107,158,181],"environments":[41],"with":[42,128,150],"complex":[43],"road":[44],"conditions,":[45],"(ii)":[47],"task-scheduling":[49,72],"method":[50,73],"task":[53,85],"schedule":[56],"the":[57,60,68,90,94,99,129,144,151,173],"tasks":[58],"right":[61],"fastest":[63],"order,":[64],"taking":[65],"into":[66],"account":[67],"planned":[69],"paths.":[70],"The":[71],"is":[74],"based":[75],"on":[76],"model":[77,130],"checking,":[78],"which":[79,112],"provides":[80],"means":[81],"of":[82,98,138,143,147,161,166,175,185],"automatically":[83],"generating":[84],"execution":[86,145],"orders":[87],"requirements":[91],"ensure":[93],"correctness":[95],"efficiency":[97],"by":[101,178],"construction.":[102],"We":[103,170],"implement":[104],"our":[105,176],"approach":[106],"tool":[109,152,177],"named":[110],"MALTA,":[111],"offers":[113],"user-friendly":[115],"GUI":[116],"configuring":[118],"requirements,":[120],"module":[122],"planning,":[125],"an":[126,162,167,186],"integration":[127],"checker":[131],"UPPAAL,":[132],"functions":[134],"automatic":[136],"generation":[137],"formal":[139],"models,":[140],"parsing":[142],"traces":[146],"models.":[148],"Experiments":[149],"demonstrate":[153],"its":[154],"applicability":[155],"performance":[157],"various":[159],"configurations":[160],"industrial":[163,187],"case":[164,184,188],"study":[165],"quarry.":[169],"also":[171],"show":[172],"adaptability":[174],"employing":[179],"it":[180],"special":[183],"study.":[189]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}