{"id":"https://openalex.org/W7151462177","doi":"https://doi.org/10.48550/arxiv.2604.04543","title":"Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth","display_name":"Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth","publication_year":2026,"publication_date":"2026-04-06","ids":{"openalex":"https://openalex.org/W7151462177","doi":"https://doi.org/10.48550/arxiv.2604.04543"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.04543","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04543","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.04543","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132918411","display_name":"Stefano Blando","orcid":null},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Blando, Stefano","raw_affiliation_strings":["Institute of Economics,L'EMbeDS, Sant'Anna School of Advanced Studies"],"affiliations":[{"raw_affiliation_string":"Institute of Economics,L'EMbeDS, Sant'Anna School of Advanced Studies","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066582682","display_name":"Giorgio Fagiolo","orcid":"https://orcid.org/0000-0001-5355-3352"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fagiolo, Giorgio","raw_affiliation_strings":["Institute of Economics,L'EMbeDS, Sant'Anna School of Advanced Studies"],"affiliations":[{"raw_affiliation_string":"Institute of Economics,L'EMbeDS, Sant'Anna School of Advanced Studies","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056862956","display_name":"Daniele Giachini","orcid":"https://orcid.org/0000-0002-0001-5240"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giachini, Daniele","raw_affiliation_strings":["Institute of Economics,L'EMbeDS, Sant'Anna School of Advanced Studies"],"affiliations":[{"raw_affiliation_string":"Institute of Economics,L'EMbeDS, Sant'Anna School of Advanced Studies","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133080034","display_name":"Andrea Vandin","orcid":null},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Vandin, Andrea","raw_affiliation_strings":["Institute of Economics,L'EMbeDS, Sant'Anna School of Advanced Studies"],"affiliations":[{"raw_affiliation_string":"Institute of Economics,L'EMbeDS, Sant'Anna School of Advanced Studies","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078624406","display_name":"Ernest Ivanaj","orcid":null},"institutions":[{"id":"https://openalex.org/I54157616","display_name":"Swiss Finance Institute","ror":"https://ror.org/02cgn2a44","country_code":"CH","type":"education","lineage":["https://openalex.org/I54157616"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Ivanaj, Ernest","raw_affiliation_strings":["Swiss Finance Institute,University of Geneve"],"affiliations":[{"raw_affiliation_string":"Swiss Finance Institute,University of Geneve","institution_ids":["https://openalex.org/I54157616"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5132918411"],"corresponding_institution_ids":["https://openalex.org/I162290304"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11270","display_name":"Complex Systems and Time Series Analysis","score":0.9054999947547913,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11270","display_name":"Complex Systems and Time Series Analysis","score":0.9054999947547913,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12592","display_name":"Opinion Dynamics and Social Influence","score":0.011900000274181366,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14143","display_name":"Economic and Technological Innovation","score":0.008999999612569809,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/stylized-fact","display_name":"Stylized fact","score":0.8233000040054321},{"id":"https://openalex.org/keywords/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.8062999844551086},{"id":"https://openalex.org/keywords/pairwise-comparison","display_name":"Pairwise comparison","score":0.5871999859809875},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.5174999833106995},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5117999911308289},{"id":"https://openalex.org/keywords/monte-carlo-method","display_name":"Monte Carlo method","score":0.5001999735832214},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.475600004196167},{"id":"https://openalex.org/keywords/economic-model","display_name":"Economic model","score":0.4104999899864197}],"concepts":[{"id":"https://openalex.org/C38935604","wikidata":"https://www.wikidata.org/wiki/Q4330363","display_name":"Stylized fact","level":2,"score":0.8233000040054321},{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.8062999844551086},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.5927000045776367},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.5871999859809875},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5426999926567078},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.5174999833106995},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5117999911308289},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.5001999735832214},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.475600004196167},{"id":"https://openalex.org/C119693030","wikidata":"https://www.wikidata.org/wiki/Q2180497","display_name":"Economic model","level":2,"score":0.4104999899864197},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.39750000834465027},{"id":"https://openalex.org/C48057537","wikidata":"https://www.wikidata.org/wiki/Q3551145","display_name":"Statistical theory","level":2,"score":0.38119998574256897},{"id":"https://openalex.org/C144701195","wikidata":"https://www.wikidata.org/wiki/Q10859910","display_name":"Theory","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.3598000109195709},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.3303999900817871},{"id":"https://openalex.org/C190430219","wikidata":"https://www.wikidata.org/wiki/Q576355","display_name":"Endogenous growth theory","level":3,"score":0.328000009059906},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C2986587452","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical analysis","level":2,"score":0.3075999915599823},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C44249647","wikidata":"https://www.wikidata.org/wiki/Q208498","display_name":"Confidence interval","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.2667999863624573},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2648000121116638},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26159998774528503},{"id":"https://openalex.org/C117222624","wikidata":"https://www.wikidata.org/wiki/Q7575010","display_name":"Specification","level":2,"score":0.25999999046325684}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.04543","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04543","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.04543","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04543","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.575653076171875,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Agent-based":[0],"models":[1],"(ABMs)":[2],"are":[3],"increasingly":[4],"used":[5],"to":[6,93],"study":[7],"complex":[8],"economic":[9,143],"phenomena":[10],"such":[11],"as":[12],"endogenous":[13],"growth,":[14],"but":[15],"their":[16],"analysis":[17,45,90,140],"typically":[18],"relies":[19],"on":[20],"ad-hoc":[21],"Monte":[22],"Carlo":[23],"exercises":[24],"without":[25],"formal":[26,75],"statistical":[27,32],"guarantees.":[28],"We":[29,65],"show":[30],"how":[31],"model":[33,73],"checking":[34],"(SMC),":[35],"and":[36,42,55,85,97],"in":[37,62,124],"particular":[38],"Multi-VeStA,":[39],"can":[40],"automate":[41],"enrich":[43],"the":[44,50,59,71,79,118,138],"of":[46,53,81,107,141],"a":[47,87,121,133],"seminal":[48],"ABM:":[49],"Island":[51],"Model":[52],"Fagiolo":[54],"Dosi,":[56],"which":[57],"captures":[58],"exploration-exploitation":[60],"trade-off":[61],"technological":[63],"search.":[64],"reproduce":[66],"key":[67],"stylized":[68],"facts":[69],"from":[70],"original":[72],"with":[74],"confidence":[76],"intervals,":[77],"confirm":[78],"optimality":[80],"moderate":[82],"exploration":[83],"rates,":[84],"perform":[86],"counterfactual":[88],"sensitivity":[89],"across":[91],"returns":[92],"scale,":[94],"skill":[95],"transfer,":[96],"knowledge":[98,125],"locality.":[99,126],"Using":[100],"MultiVeStA's":[101],"built-in":[102],"Welch's":[103],"t-test,":[104],"6":[105],"out":[106],"7":[108],"pairwise":[109],"parameter":[110],"comparisons":[111],"yield":[112],"statistically":[113],"different":[114],"growth":[115],"trajectories,":[116],"while":[117],"exception":[119],"reveals":[120],"saturation":[122],"effect":[123],"Our":[127],"results":[128],"demonstrate":[129],"that":[130],"SMC":[131],"offers":[132],"principled,":[134],"reproducible":[135],"methodology":[136],"for":[137],"quantitative":[139],"agent-based":[142],"models.":[144]},"counts_by_year":[],"updated_date":"2026-04-08T06:07:18.267832","created_date":"2026-04-08T00:00:00"}