Parv Kapoor

21 papers A* 2Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Counterexample Classification against Signal Temporal Logic Specifications.
CoRR
Zhenya Zhang, Parv Kapoor, Jie An, Eunsuk Kang
2025 J jnl
CloudAnoAgent: Anomaly Detection for Cloud Sites via LLM Agent with Neuro-Symbolic Mechanism.
CoRR
Xinkai Zou, Xuan Jiang, Ruikai Huang, Haoze He, Parv Kapoor, Jiahua Zhao
2025 J jnl
Constrained Decoding for Robotics Foundation Models.
CoRR
Parv Kapoor, Akila Ganlath, Michael Clifford, Changliu Liu, Sebastian A. Scherer, Eunsuk Kang
2025 A* conf
Constrained LTL Specification Learning from Examples.
ICSE
Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2025 J jnl
Demonstrating ViSafe: Vision-enabled Safety for High-speed Detect and Avoid.
CoRR
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
2025 J jnl
Pretrained Embeddings as a Behavior Specification Mechanism.
CoRR
Parv Kapoor, Abigail Hammer, Ashish Kapoor, Karen Leung, Eunsuk Kang
2025 J jnl
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification.
CoRR
Parv Kapoor, Kazuki Mizuta, Eunsuk Kang, Karen Leung
2025 J jnl
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification.
IEEE Robotics Autom. Lett.
Parv Kapoor, Kazuki Mizuta, Eunsuk Kang, Karen Leung
2024 J jnl
Constrained LTL Specification Learning from Examples.
CoRR
Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira Goes, David Garlan, Eunsuk Kang
2024 J jnl
Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning.
CoRR
Parv Kapoor, Sai Vemprala, Ashish Kapoor
2024 — conf
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications.
NFM
Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
2024 J jnl
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications.
CoRR
Parv Kapoor, Eunsuk Kang, Rômulo Meira-Góes
2024 — conf
Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems.
FM (2)
Changjian Zhang, Parv Kapoor, Rômulo Meira-Góes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2024 J jnl
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems.
CoRR
Changjian Zhang, Parv Kapoor, Eunsuk Kang, Romulo Meira Goes, David Garlan, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2023 J jnl
"Do it my way!": Impact of Customizations on Trust perceptions in Human-Robot Collaboration.
CoRR
Parv Kapoor, Simon Chu, Angela Chen
2023 A* conf
Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains.
ICRA
Jasmine Jerry Aloor, Jay Patrikar, Parv Kapoor, Jean Oh, Sebastian A. Scherer
2023 J jnl
FoundLoc: Vision-based Onboard Aerial Localization in the Wild.
CoRR
Yao He, Ivan Cisneros, Nikhil Varma Keetha, Jay Patrikar, Zelin Ye, Ian Higgins, Yaoyu Hu, Parv Kapoor, Sebastian A. Scherer
2023 J jnl
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations.
CoRR
Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
2022 J jnl
Challenges in Close-Proximity Safe and Seamless Operation of Manned and Unmanned Aircraft in Shared Airspace.
CoRR
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
2022 J jnl
Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains.
CoRR
Jasmine Jerry Aloor, Jay Patrikar, Parv Kapoor, Jean Oh, Sebastian A. Scherer
2020 J jnl
Model-based Reinforcement Learning from Signal Temporal Logic Specifications.
CoRR
Parv Kapoor, Anand Balakrishnan, Jyotirmoy V. Deshmukh