{"id":"https://openalex.org/W7169876924","doi":"https://doi.org/10.48550/arxiv.2607.17948","title":"Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking","display_name":"Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking","publication_year":2026,"publication_date":"2026-07-20","ids":{"openalex":"https://openalex.org/W7169876924","doi":"https://doi.org/10.48550/arxiv.2607.17948"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.17948","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.17948","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.17948","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132918411","display_name":"Stefano Blando","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Blando, Stefano","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005685169","display_name":"Emanuele Guerrazzi","orcid":"https://orcid.org/0000-0002-6545-2089"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guerrazzi, Emanuele","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092930891","display_name":"Riccardo Porcedda","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Porcedda, Riccardo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001845837","display_name":"Giuseppe Squillace","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Squillace, Giuseppe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090729724","display_name":"Max Tschaikowski","orcid":"https://orcid.org/0000-0002-6186-8669"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tschaikowski, Max","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5141277112","display_name":"Andrea Vandin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vandin, Andrea","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":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/T12090","display_name":"Language and cultural evolution","score":0.6686999797821045,"subfield":{"id":"https://openalex.org/subfields/3316","display_name":"Cultural Studies"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12090","display_name":"Language and cultural evolution","score":0.6686999797821045,"subfield":{"id":"https://openalex.org/subfields/3316","display_name":"Cultural Studies"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.03590000048279762,"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/T10028","display_name":"Topic Modeling","score":0.026100000366568565,"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/statistical-model","display_name":"Statistical model","score":0.6205000281333923},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6166999936103821},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.49720001220703125},{"id":"https://openalex.org/keywords/computational-model","display_name":"Computational model","score":0.44519999623298645},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4433000087738037},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4375999867916107},{"id":"https://openalex.org/keywords/observable","display_name":"Observable","score":0.32199999690055847}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7125999927520752},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.6205000281333923},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6166999936103821},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.49720001220703125},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4943000078201294},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.44519999623298645},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4433000087738037},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4375999867916107},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4212999939918518},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.38420000672340393},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.32199999690055847},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29739999771118164},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C28901747","wikidata":"https://www.wikidata.org/wiki/Q177571","display_name":"Decision theory","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C2986587452","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical analysis","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C48057537","wikidata":"https://www.wikidata.org/wiki/Q3551145","display_name":"Statistical theory","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C59594135","wikidata":"https://www.wikidata.org/wiki/Q5249242","display_name":"Decision model","level":2,"score":0.25429999828338623},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.17948","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.17948","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.17948","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.17948","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7788553833961487,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Agent-based":[0],"models":[1,28,193,211],"(ABMs)":[2],"rely":[3],"on":[4,84],"simple,":[5],"explicit":[6],"and":[7,60,134,165,227],"reproducible":[8],"rules":[9,39],"for":[10,68,76],"individual":[11],"decision":[12],"making,":[13],"while":[14,113,208],"complex":[15],"collective":[16],"behavior":[17,61,167],"emerges":[18],"from":[19],"interactions":[20],"among":[21],"agents.":[22],"Recent":[23],"advances":[24],"in":[25],"large":[26],"language":[27],"(LLMs)":[29],"make":[30],"it":[31],"tempting":[32],"to":[33,119,149],"replace,":[34],"enrich,":[35],"or":[36,200],"perturb":[37],"these":[38,143,213],"with":[40,87,100,183],"LLM-based":[41,169],"agentic":[42,233],"capabilities.":[43],"However,":[44],"this":[45,67,117],"raises":[46],"a":[47,72,101,156],"methodological":[48],"question:":[49],"how":[50,218],"does":[51],"introducing":[52,232],"LLM-driven":[53],"decisions":[54,170],"affect":[55],"the":[56,88,95,109,150,162,229],"reliability,":[57],"computational":[58,166],"cost,":[59],"of":[62,131,140,168,187,231],"ABM":[63,70,225],"simulations?":[64],"We":[65,179,216],"investigate":[66],"Mesa":[69],"models,":[71],"popular":[73],"Python":[74],"library":[75],"ABMs,":[77],"analyzed":[78],"by":[79],"statistical":[80,89,219],"model":[81,90,99,220],"checking.":[82],"Building":[83],"Mesa's":[85],"integration":[86],"checker":[91],"MultiVeStA,":[92],"we":[93],"extend":[94],"classical":[96,224],"Schelling":[97,152],"segregation":[98],"hybrid":[102],"population:":[103],"ordinary":[104],"agents":[105,133],"classify":[106],"neighbors":[107],"using":[108],"standard":[110,177],"symbolic":[111],"rule,":[112],"one":[114],"agent":[115,127],"delegates":[116],"task":[118],"an":[120,175],"LLM":[121,234],"through":[122],"tool":[123],"calls.":[124],"The":[125],"LLM-enabled":[126],"receives":[128],"natural-language":[129],"descriptions":[130],"neighboring":[132],"invokes":[135],"tools":[136],"that":[137,191],"increment":[138],"counters":[139,144],"similar/different":[141],"neighbors;":[142],"determine":[145],"its":[146],"happiness":[147],"according":[148],"original":[151],"dynamics.":[153],"This":[154],"provides":[155],"minimal":[157],"but":[158],"controlled":[159],"setting":[160],"where":[161],"semantic,":[163],"operational,":[164],"can":[171,222],"be":[172],"studied":[173],"inside":[174],"otherwise":[176],"ABM.":[178],"report":[180],"preliminary":[181,214],"experiments":[182,199],"locally":[184],"served":[185],"LLMs":[186],"different":[188],"sizes,":[189],"showing":[190],"smaller":[192],"may":[194],"fail":[195],"simple":[196],"semantic":[197],"classification":[198],"become":[201],"operationally":[202],"unusable":[203],"during":[204],"repeated":[205],"tool-call":[206],"generation,":[207],"larger":[209],"tested":[210],"pass":[212],"checks.":[215],"discuss":[217],"checking":[221],"estimate":[223],"observables":[226],"quantify":[228],"impact":[230],"components":[235],"into":[236],"simulation":[237],"models.":[238]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-22T00:00:00"}