Kartik Nagpal

11 papers A 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
DDAT: Diffusion Policies Enforcing Dynamically Admissible Robot Trajectories.
CoRR
Jean-Baptiste Bouvier, Kanghyun Ryu, Kartik Nagpal, Qiayuan Liao, Koushil Sreenath, Negar Mehr
2025 A conf
Leveraging Large Language Models for Effective and Explainable Multi-Agent Credit Assignment.
AAMAS
Kartik Nagpal, Dayi Dong, Negar Mehr
2025 J jnl
Leveraging Large Language Models for Effective and Explainable Multi-Agent Credit Assignment.
CoRR
Kartik Nagpal, Dayi Dong, Jean-Baptiste Bouvier, Negar Mehr
2024 — conf
Learning to Provably Satisfy High Relative Degree Constraints for Black-Box Systems.
CDC
Jean-Baptiste Bouvier, Kartik Nagpal, Negar Mehr
2024 J jnl
Learning to Provably Satisfy High Relative Degree Constraints for Black-Box Systems.
CoRR
Jean-Baptiste Bouvier, Kartik Nagpal, Negar Mehr
2024 A conf
Optimal Robotic Assembly Sequence Planning (ORASP): A Sequential Decision-Making Approach.
IROS
Kartik Nagpal, Negar Mehr
2024 — conf
POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints.
Robotics: Science and Systems
Jean-Baptiste Bouvier, Kartik Nagpal, Negar Mehr
2024 J jnl
POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints.
CoRR
Jean-Baptiste Bouvier, Kartik Nagpal, Negar Mehr
2023 J jnl
Optimal Robotic Assembly Sequence Planning: A Sequential Decision-Making Approach.
CoRR
Kartik Nagpal, Negar Mehr
2022 J jnl
Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints.
CoRR
Yue Yu, Kartik Nagpal, Margaret Skye Mceowen, Behçet Açikmese, Ufuk Topcu
2022 J jnl
Synchronic Curation for Assessing Reuse and Integration Fitness of Multiple Data Collections.
Int. J. Digit. Curation
Maria Esteva, Weijia Xu, Nevan Simone, Kartik Nagpal, Amit Gupta, Moriba K. Jah
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling