E-LIB Suche - Ergebnisse für: Kapoor, Parv - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Safe Planning Through Incremental Decomposition of Signal T..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Kapoor, Parv ; Kang, Eunsuk ; Meira-Góes, Rômulo - p. 377-396 , 2024

Link: https://doi.org/10.1007/..

2

Follow The Rules: Online Signal Temporal Logic Tree Search ..:

, In: 2023 IEEE International Conference on Robotics and Automation (ICRA),

Aloor, Jasmine Jerry ; Patrikar, Jay ; Kapoor, Parv.. - p. 1320-1326 , 2023

Link: https://doi.org/10.1109/..

3

FoundLoc: Vision-based Onboard Aerial Localization in the W..:

He, Yao ; Cisneros, Ivan ; Keetha, Nikhil...
http://arxiv.org/abs/2310.16299. , 2023

Link: http://arxiv.org/abs/231..

4

"Do it my way!": Impact of Customizations on Trust percepti..:

Kapoor, Parv ; Chu, Simon ; Chen, Angela
http://arxiv.org/abs/2310.18791. , 2023

Link: http://arxiv.org/abs/231..

5

Investigating Robustness in Cyber-Physical Systems: Specifi..:

Zhang, Changjian ; Kapoor, Parv ; Meira-Goes, Romulo...
http://arxiv.org/abs/2311.07462. , 2023

Link: http://arxiv.org/abs/231..

6

Follow The Rules: Online Signal Temporal Logic Tree Search ..:

Aloor, Jasmine Jerry ; Patrikar, Jay ; Kapoor, Parv..
http://arxiv.org/abs/2209.13737. , 2022

Link: http://arxiv.org/abs/220..

7

Challenges in Close-Proximity Safe and Seamless Operation o..:

Patrikar, Jay ; Dantas, Joao P. A ; Ghosh, Sourish...
http://arxiv.org/abs/2211.06932. , 2022

Link: http://arxiv.org/abs/221..

8

Model-based Reinforcement Learning from Signal Temporal Log..:

Kapoor, Parv ; Balakrishnan, Anand ; Deshmukh, Jyotirmoy V
http://arxiv.org/abs/2011.04950. , 2020

Link: http://arxiv.org/abs/201..

1-8