Framework for control and deep reinforcement learning in traffic. - Cathy Wu 002; Kanaad Parvate; Nishant Kheterpal; Leah Dickstein; Ankur Mehta; Eugene Vinitsky; Alexandre M. Bayen (ITSC, 2017)

Benchmarks for reinforcement learning in mixed-autonomy traffic. - Eugene Vinitsky; Aboudy Kreidieh; Luc Le Flem; Nishant Kheterpal; Kathy Jang; Cathy Wu 002; Fangyu Wu 003; Richard Liaw; Eric Liang; Alexandre M. Bayen (CoRL, 2018)

Automating Geometric Proofs of Collision Avoidance with Active Corners. - Nishant Kheterpal; Elanor Tang; Jean-Baptiste Jeannin (FMCAD, 2022)