Emanuele Guerrazzi

Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking

This work extends the classical Schelling segregation model with a hybrid population: ordinary agents classify neighbors using the standard symbolic rule, while one agent delegates this task to an LLM through tool calls, providing a minimal but controlled setting where the semantic, operational, and computational behavior of LLM-based decisions can be studied inside an otherwise standard ABM.