{"id":"https://openalex.org/W7100154671","doi":null,"title":"Property-driven design for swarm robotics: data, 2011. Supplementary information page at http://iridia.ulb.ac.be/supp/IridiaSupp2011018","display_name":"Property-driven design for swarm robotics: data, 2011. Supplementary information page at http://iridia.ulb.ac.be/supp/IridiaSupp2011018","publication_year":2013,"publication_date":"2013-12-12","ids":{"openalex":"https://openalex.org/W7100154671"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.386.7908","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.7908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ifaamas.org/Proceedings/aamas2012/papers/4A_1.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5013183735","display_name":"Manuele Brambilla","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manuele Brambilla","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034543991","display_name":"Carlo Pinciroli","orcid":"https://orcid.org/0000-0002-2155-0445","observed_orcids":["https://orcid.org/0000-0002-2155-0445"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Carlo Pinciroli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061782786","display_name":"Mauro Birattari","orcid":"https://orcid.org/0000-0003-3309-2194","observed_orcids":["https://orcid.org/0000-0003-3309-2194"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mauro Birattari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Marco Dorigo","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marco Dorigo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.67769056,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.0010000000474974513,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.0010000000474974513,"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/swarm-robotics","display_name":"swarm robotics","score":1.0},{"id":"https://openalex.org/keywords/collective-behavior","display_name":"collective behavior","score":0.9539999961853027},{"id":"https://openalex.org/keywords/top-down-design","display_name":"top-down design","score":0.7919999957084656},{"id":"https://openalex.org/keywords/test-driven-development","display_name":"test-driven development","score":0.7710000276565552},{"id":"https://openalex.org/keywords/discrete-time-markov-chains","display_name":"discrete-time Markov chains","score":0.9179999828338623},{"id":"https://openalex.org/keywords/probabilistic-computation-tree-logic","display_name":"PCTL","score":0.9300000071525574},{"id":"https://openalex.org/keywords/aggregation-behavior","display_name":"aggregation behavior","score":0.7360000014305115}],"concepts":[{"id":"https://openalex.org/C169337768","wikidata":"https://www.wikidata.org/wiki/Q2446723","display_name":"Swarm robotics","level":3,"score":0.805400013923645},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.7153000235557556},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.699400007724762},{"id":"https://openalex.org/C2778154381","wikidata":"https://www.wikidata.org/wiki/Q105296908","display_name":"Ingenuity","level":2,"score":0.6819000244140625},{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.6470999717712402},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6342999935150146},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5455999970436096},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5406000018119812},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.48890000581741333},{"id":"https://openalex.org/C44832474","wikidata":"https://www.wikidata.org/wiki/Q4770870","display_name":"Ant robotics","level":5,"score":0.4657999873161316},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4553999900817871},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.40230000019073486},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.40139999985694885},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.32739999890327454},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3264000117778778},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.314300000667572},{"id":"https://openalex.org/C119487961","wikidata":"https://www.wikidata.org/wiki/Q863960","display_name":"Swarm intelligence","level":3,"score":0.28299999237060547},{"id":"https://openalex.org/C48262172","wikidata":"https://www.wikidata.org/wiki/Q16908765","display_name":"Design process","level":3,"score":0.2818000018596649},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C150415221","wikidata":"https://www.wikidata.org/wiki/Q40687","display_name":"Robotic arm","level":2,"score":0.25440001487731934}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.386.7908","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.7908","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ifaamas.org/Proceedings/aamas2012/papers/4A_1.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7124145597","https://openalex.org/W7100805372","https://openalex.org/W2054382008","https://openalex.org/W3110139055","https://openalex.org/W4390197241","https://openalex.org/W1709651003","https://openalex.org/W4327521442","https://openalex.org/W7101112903","https://openalex.org/W7100017785","https://openalex.org/W2748528314"],"abstract_inverted_index":{"In":[0,95,154],"this":[1,155],"paper,":[2,156],"we":[3,157,190],"propose":[4],"a":[5,32,48,80,90,106,136,161,170,206],"novel":[6],"top-down":[7],"design":[8,77,128,202],"method":[9,199],"for":[10],"the":[11,37,43,66,71,103,109,113,117,132,142,148,165,194,197,201],"development":[12,204],"of":[13,16,70,75,92,108,134,150,164,196,205],"collective":[14,50],"behaviors":[15,46],"swarm":[17,81,207],"robotics":[18,24,82,208],"systems":[19,25],"called":[20],"property-driven":[21,76],"design.":[22],"Swarm":[23],"are":[26],"usually":[27],"designed":[28],"and":[29,41,62,68,123,145,183,203],"developed":[30],"using":[31,124,177],"code-and-fix":[33,55],"approach,":[34],"that":[35,79,111,138],"is,":[36],"developer":[38,104],"devises,":[39],"tests":[40],"modifies":[42],"individual":[44],"robot":[45],"until":[47],"desired":[49,93,114],"behavior":[51],"is":[52,78,119],"obtained.":[53],"The":[54,73],"approach":[56],"can":[57,84],"be":[58,85],"very":[59],"time":[60],"consuming":[61],"relies":[63],"completely":[64],"on":[65],"ingenuity":[67],"expertise":[69],"designer.":[72],"idea":[74],"system":[83,110,118,137,209],"described":[86],"by":[87,159,176,192],"specifying":[88],"formally":[89],"set":[91],"properties.":[94,115],"an":[96],"iterative":[97],"process":[98],"similar":[99],"to":[100,130,146,173,200],"test-driven":[101],"development,":[102],"produces":[105],"model":[107],"satisfies":[112],"Subsequently,":[116],"implemented":[120],"in":[121],"simulation":[122],"real":[125],"robots.":[126],"Property-driven":[127],"helps":[129],"minimize":[131],"risk":[133],"developing":[135],"does":[139],"not":[140],"satisfy":[141],"required":[143],"properties,":[144],"promote":[147],"reuse":[149],"hardware":[151],"independent":[152],"models.":[153],"start":[158],"giving":[160],"general":[162],"description":[163],"method.":[166],"We":[167],"then":[168],"present":[169],"possible":[171],"way":[172],"apply":[174],"it":[175],"Discrete":[178],"Time":[179],"Markov":[180],"Chains":[181],"(DTMC)":[182],"Probabilistic":[184],"Computation":[185],"Tree":[186],"Logic*":[187],"(PCTL*).":[188],"Finally,":[189],"conclude":[191],"presenting":[193],"application":[195],"proposed":[198],"performing":[210],"aggregation.":[211]},"counts_by_year":[],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2025-10-27T00:00:00"}