Software Assistants for Randomized Patrol Planning for the LAX Airport Police and the Federal Air Marshal Service. - Manish Jain; Jason Tsai; James Pita; Christopher Kiekintveld; Shyamsunder Rathi; Milind Tambe; Fernando Ordóñez (Interfaces, 2010)