Agent-based modeling of a stadium evacuation in a smart city | IEEE Conference Publication | IEEE Xplore