Forrest works on methods for solving various problems in game theory as applied to autonomous systems.