Parv Kapoor

According to our database1, Parv Kapoor authored at least 11 papers between 2020 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
1
2
3
1
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification.
CoRR, January, 2025

2024
Constrained LTL Specification Learning from Examples.
CoRR, 2024

Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning.
CoRR, 2024

Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems.
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.
CoRR, 2023

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

FoundLoc: Vision-based Onboard Aerial Localization in the Wild.
CoRR, 2023

Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains.
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.
CoRR, 2022

2020
Model-based Reinforcement Learning from Signal Temporal Logic Specifications.
CoRR, 2020


  Loading...