AirTaxiSim: A Simulator for Autonomous Air Taxis to appear in AIAA Aviation Forum 2025, preprint available.