Model-based Reinforcement Learning from Signal Temporal Logic Specifications. - Parv Kapoor; Anand Balakrishnan 001; Jyotirmoy V. Deshmukh (CoRR, 2020)

Challenges in Close-Proximity Safe and Seamless Operation of Manned and Unmanned Aircraft in Shared Airspace. - Jay Patrikar; Joao P. A. Dantas; Sourish Ghosh; Parv Kapoor; Ian Higgins; Jasmine Jerry Aloor; Ingrid Navarro; Jimin Sun; Ben Stoler; Milad Moghassem Hamidi; Rohan Baijal; Brady G. Moon; et al. (CoRR, 2022)

Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains. - Jasmine Jerry Aloor; Jay Patrikar; Parv Kapoor; Jean Oh; Sebastian A. Scherer (ICRA, 2023)

FoundLoc: Vision-based Onboard Aerial Localization in the Wild. - Yao He; Ivan Cisneros; Nikhil Varma Keetha; Jay Patrikar; Zelin Ye; Ian Higgins; Yaoyu Hu; Parv Kapoor; Sebastian A. Scherer (CoRR, 2023)

"Do it my way!": Impact of Customizations on Trust perceptions in Human-Robot Collaboration. - Parv Kapoor; Simon Chu; Angela Chen (CoRR, 2023)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. - Changjian Zhang; Parv Kapoor; Romulo Meira Goes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar (CoRR, 2023)

Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. - Changjian Zhang; Parv Kapoor; Rômulo Meira-Góes; David Garlan; Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Nejib Ammar (FM (2), 2024)

Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications. - Parv Kapoor; Eunsuk Kang; Rômulo Meira-Góes (NFM, 2024)

Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning. - Parv Kapoor; Sai Vemprala; Ashish Kapoor (CoRR, 2024)

Constrained LTL Specification Learning from Examples. - Changjian Zhang; Parv Kapoor; Ian Dardik; Leyi Cui; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (ICSE, 2025)

Pretrained Embeddings as a Behavior Specification Mechanism. - Parv Kapoor; Abigail Hammer; Ashish Kapoor; Karen Leung; Eunsuk Kang (CoRR, 2025)

Demonstrating ViSafe: Vision-enabled Safety for High-speed Detect and Avoid. - Parv Kapoor; Ian Higgins; Nikhil Varma Keetha; Jay Patrikar; Brady G. Moon; Zelin Ye; Yao He; Ivan Cisneros; Yaoyu Hu; Changliu Liu; Eunsuk Kang; Sebastian A. Scherer (CoRR, 2025)

CloudAnoAgent: Anomaly Detection for Cloud Sites via LLM Agent with Neuro-Symbolic Mechanism. - Xinkai Zou; Xuan Jiang; Ruikai Huang; Haoze He; Parv Kapoor; Jiahua Zhao (CoRR, 2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification. - Parv Kapoor; Kazuki Mizuta; Eunsuk Kang; Karen Leung (IEEE Robotics Autom. Lett., 2025)