Comparing Actual and Simulated HFT Traders' Behavior for Agent Design