Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking | Digital Library | PAMCET | PAMCET