Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking
arXiv preprint (2607.17948) evaluating LLM-driven agentic agent-based models with Statistical Model Checking via MultiVeStA.
Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
arXiv preprint introducing Statistical Model Checking (SMC) via MultiVeStA for transient sensitivity analysis of the Keynes+Schumpeter (K+S) macroeconomic agent-based model.