{"id":"https://openalex.org/W4412192518","doi":"https://doi.org/10.1007/978-3-031-90758-6_18","title":"Design, Specification, and Verification of a Cooperative Multi-robots System for Delivery Service","display_name":"Design, Specification, and Verification of a Cooperative Multi-robots System for Delivery Service","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412192518","doi":"https://doi.org/10.1007/978-3-031-90758-6_18"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-90758-6_18","doi":"https://doi.org/10.1007/978-3-031-90758-6_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-90758-6_18","pdf_url":null,"source":{"id":"https://openalex.org/S4404663223","display_name":"Information systems engineering and management","issn_l":"3004-958X","issn":["3004-958X","3004-9598"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Systems Engineering and Management","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W4412192670","display_name":"Proceedings of the 3rd International Conference on Computer Science\u2019s Complex Systems and Their Applications"},"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094058399","display_name":"Mahdi Kahoul","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Mahdi Kahoul","raw_affiliation_strings":["LINFI Laboratory, University of Biskra, Biskra, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, University of Biskra, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045281563","display_name":"Leyla Belaiche","orcid":"https://orcid.org/0000-0003-1128-0725","observed_orcids":["https://orcid.org/0000-0003-1128-0725"]},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Leyla Belaiche","raw_affiliation_strings":["LINFI Laboratory, University of Biskra, Biskra, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, University of Biskra, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052087453","display_name":"La\u00efd Kahloul","orcid":"https://orcid.org/0000-0002-9739-7715","observed_orcids":["https://orcid.org/0000-0002-9739-7715"]},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Laid Kahloul","raw_affiliation_strings":["LINFI Laboratory, University of Biskra, Biskra, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, University of Biskra, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091607776","display_name":"Samir Tigane","orcid":"https://orcid.org/0000-0001-9093-1180","observed_orcids":["https://orcid.org/0000-0001-9093-1180"]},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Samir Tigane","raw_affiliation_strings":["LINFI Laboratory, University of Biskra, Biskra, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, University of Biskra, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5094058399"],"corresponding_institution_ids":["https://openalex.org/I206961696"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"234","last_page":"247"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.7685999870300293,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.7685999870300293,"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/T13382","display_name":"Robotics and Automated Systems","score":0.11330000311136246,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11615","display_name":"Control and Dynamics of Mobile Robots","score":0.0494999997317791,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/cooperative-multi-robot-systems","display_name":"cooperative multi-robot systems","score":0.9520000219345093},{"id":"https://openalex.org/keywords/delivery-robots","display_name":"delivery robots","score":0.8109999895095825},{"id":"https://openalex.org/keywords/mobile-robots","display_name":"mobile robots","score":0.9309999942779541},{"id":"https://openalex.org/keywords/robot-coordination","display_name":"robot coordination","score":0.8370000123977661},{"id":"https://openalex.org/keywords/robot-communication","display_name":"robot communication","score":0.800000011920929},{"id":"https://openalex.org/keywords/buchi-automata","display_name":"B\u00fcchi automata","score":0.7630000114440918},{"id":"https://openalex.org/keywords/uppaal-model-checking","display_name":"UPPAAL model checking","score":0.9319999814033508},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7279999852180481},{"id":"https://openalex.org/keywords/logistics-automation","display_name":"logistics automation","score":0.5490000247955322},{"id":"https://openalex.org/keywords/algeria","display_name":"Algeria","score":0.3190000057220459}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5983681082725525},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5195584297180176},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.47368884086608887},{"id":"https://openalex.org/C68595000","wikidata":"https://www.wikidata.org/wiki/Q2274177","display_name":"Service delivery framework","level":3,"score":0.4327211081981659},{"id":"https://openalex.org/C2776228582","wikidata":"https://www.wikidata.org/wiki/Q7455797","display_name":"Service robot","level":3,"score":0.4251602292060852},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39477479457855225},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3333158493041992},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2551257610321045},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1263504922389984},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.11285260319709778},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-90758-6_18","doi":"https://doi.org/10.1007/978-3-031-90758-6_18","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-90758-6_18","pdf_url":null,"source":{"id":"https://openalex.org/S4404663223","display_name":"Information systems engineering and management","issn_l":"3004-958X","issn":["3004-958X","3004-9598"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319972","host_organization_name":"Springer International Publishing","host_organization_lineage":["https://openalex.org/P4310319972","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer International Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Systems Engineering and Management","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.7207000255584717}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W2210033007","https://openalex.org/W2311728956","https://openalex.org/W2784134065","https://openalex.org/W2810297787","https://openalex.org/W2954600895","https://openalex.org/W2977737142","https://openalex.org/W3030756822","https://openalex.org/W3032985159","https://openalex.org/W3157621995","https://openalex.org/W3177386710","https://openalex.org/W3217356395","https://openalex.org/W4292604000","https://openalex.org/W4312844277","https://openalex.org/W4319786926","https://openalex.org/W4321601196","https://openalex.org/W4361732464","https://openalex.org/W4361732523","https://openalex.org/W4377968252","https://openalex.org/W4383314105","https://openalex.org/W4386293659","https://openalex.org/W4387090459","https://openalex.org/W4390668334"],"related_works":["https://openalex.org/W4410229513","https://openalex.org/W4386353037","https://openalex.org/W4404214823","https://openalex.org/W2161182793","https://openalex.org/W7117481414","https://openalex.org/W7131829984","https://openalex.org/W2741187348","https://openalex.org/W2116408775","https://openalex.org/W4381611442","https://openalex.org/W2481786630"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-10-10T09:11:00.788812","created_date":"2025-10-10T00:00:00"}