Autism, optimism and positive events: Evidence against a general optimistic bias. - Adam J. L. Harris; Punit Shah; Caroline Catmur; Geoffrey Bird; Ulrike Hahn (CogSci, 2013)

VeriAbs: Verification by Abstraction (Competition Contribution). - Bharti Chimdyalwar; Priyanka Darke; Avriti Chauhan; Punit Shah; Shrawan Kumar 001; R. Venkatesh 001 (TACAS (2), 2017)

Property Checking Array Programs Using Loop Shrinking. - Shrawan Kumar 001; Amitabha Sanyal; R. Venkatesh 001; Punit Shah (TACAS (1), 2018)

Symphony: Learning Realistic and Diverse Agents for Autonomous Driving Simulation. - Maximilian Igl; Daewoo Kim; Alex Kuefler; Paul Mougin; Punit Shah; Kyriacos Shiarlis; Dragomir Anguelov; Mark Palatucci; Brandyn White; Shimon Whiteson (ICRA, 2022)

Hierarchical Model-Based Imitation Learning for Planning in Autonomous Driving. - Eli Bronstein; Mark Palatucci; Dominik Notz; Brandyn White; Alex Kuefler; Yiren Lu 001; Supratik Paul; Payam Nikdel; Paul Mougin; Hongge Chen; Justin Fu; Austin Abrams; et al. (IROS, 2022)

Hierarchical Imitation Learning for Stochastic Environments. - Maximilian Igl; Punit Shah; Paul Mougin; Sirish Srinivasan; Tarun Gupta 002; Brandyn White; Kyriacos Shiarlis; Shimon Whiteson (IROS, 2023)