Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking
Preprint arXiv (2607.17948) che valuta i modelli agent-based agentici basati su LLM con Statistical Model Checking tramite MultiVeStA.
Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM
Preprint arXiv che applica il Statistical Model Checking (SMC) via MultiVeStA per l'analisi di sensibilità transitoria del modello macroeconomico agent-based Keynes+Schumpeter …