Publications

(2026). Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking. Submitted to AISoLA 2026.
(2026). Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM. arXiv preprint (2026).