Testing Various Riot Control Police Formations through Agent-Based Modeling and Simulation | IEEE Conference Publication | IEEE Xplore