• Sign in
  • Sign up
conf.researchr.org / Parv Kapoor
  • ICSE 2025 profile
  • NASA Formal Methods 2024 profile
No Photo

Not registered as user

Name:Parv Kapoor
Country:United States
Affiliation:Carnegie Mellon University

Contributions

2025

ICSE

  • Author of Constrained LTL Specification Learning from Examples within the Research Track-track

2024

NFM

  • Author of Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications within the NFM 2024-track
Share
xFri 16 May 16:41
using conf.researchr.org (v1.69.0)
Support page
Sign Up