Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints. - Yue Yu 004; Kartik Nagpal; Margaret Skye Mceowen; Behçet Açikmese; Ufuk Topcu (CoRR, 2022)

Synchronic Curation for Assessing Reuse and Integration Fitness of Multiple Data Collections. - Maria Esteva; Weijia Xu; Nevan Simone; Kartik Nagpal; Amit Gupta; Moriba K. Jah (Int. J. Digit. Curation, 2022)

Optimal Robotic Assembly Sequence Planning: A Sequential Decision-Making Approach. - Kartik Nagpal; Negar Mehr (CoRR, 2023)

Learning to Provably Satisfy High Relative Degree Constraints for Black-Box Systems. - Jean-Baptiste Bouvier; Kartik Nagpal; Negar Mehr (CDC, 2024)

Optimal Robotic Assembly Sequence Planning (ORASP): A Sequential Decision-Making Approach. - Kartik Nagpal; Negar Mehr (IROS, 2024)

POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints. - Jean-Baptiste Bouvier; Kartik Nagpal; Negar Mehr (Robotics: Science and Systems, 2024)

Leveraging Large Language Models for Effective and Explainable Multi-Agent Credit Assignment. - Kartik Nagpal; Dayi Dong; Negar Mehr (AAMAS, 2025)

DDAT: Diffusion Policies Enforcing Dynamically Admissible Robot Trajectories. - Jean-Baptiste Bouvier; Kanghyun Ryu; Kartik Nagpal; Qiayuan Liao; Koushil Sreenath; Negar Mehr (CoRR, 2025)

Leveraging Large Language Models for Effective and Explainable Multi-Agent Credit Assignment. - Kartik Nagpal; Dayi Dong; Jean-Baptiste Bouvier; Negar Mehr (CoRR, 2025)