Techniques For Mathematical Analysis And Optimization Of Agent-Based Models