Parv Kapoor

According to our database, Parv Kapoor authored at least 14 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification.

Parv Kapoor, Kazuki Mizuta, Eunsuk Kang, Karen Leung

IEEE Robotics Autom. Lett., September, 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, August, 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, May, 2025

Pretrained Embeddings as a Behavior Specification Mechanism.

Parv Kapoor, Abigail Hammer, Ashish Kapoor, Karen Leung, Eunsuk Kang

CoRR, March, 2025

Constrained LTL Specification Learning from Examples.

Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning.

Parv Kapoor, Sai Vemprala, Ashish Kapoor

CoRR, 2024

Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications.

Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

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

"Do it my way!": Impact of Customizations on Trust perceptions in Human-Robot Collaboration.

Parv Kapoor, Simon Chu, Angela Chen

CoRR, 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

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

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, Jean Oh, Sebastian A. Scherer

CoRR, 2022

2020

Model-based Reinforcement Learning from Signal Temporal Logic Specifications.

Parv Kapoor, Anand Balakrishnan, Jyotirmoy V. Deshmukh

CoRR, 2020