14 citations · 32 across the 18 of their papers we have counts for
19 papers
Refusal Is Not Robustness: Measuring Harmful Reachability in Autoregressive Language Models
Parv Kapoor, Teresa Fortes, Claudia Mamede +3
LLM safety evaluations via jailbreaking typically index on attack success rate (ASR): whether a generated response violates safeguards. However, ASR only evaluates sampled outputs…
Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
Parv Kapoor, Abigail Hammer, Ashish Kapoor +2
Runtime monitoring of autonomous systems traditionally relies on mapping continuous sensor observations to discrete logical propositions defined over low-dimensional state variable…
What People See (and Miss) About Generative AI Risks: Perceptions of Failures, Risks, and Who Should Address Them
Megan Li, Wendy Bickersteth, Ningjing Tang +7
Despite growing concerns about the risks of Generative AI (GenAI), there is limited understanding of public perceptions of these risks and their associated failure modes -- defined…
Counterexample Classification for Signal Temporal Logic Specifications
Zhenya Zhang, Parv Kapoor, Jie An +1
Signal Temporal Logic (STL) has been widely adopted as a specification language for specifying desirable behaviors of hybrid systems. One of the most common uses of STL is falsific…
Constrained Decoding for Safe Robot Navigation Foundation Models
Parv Kapoor, Akila Ganlath, Michael Clifford +3
Recent advances in the development of robotic foundation models have led to promising end-to-end and general-purpose capabilities in robotic systems. Trained on vast datasets of si…
Towards Generalizable Context-aware Anomaly Detection: A Large-scale Benchmark in Cloud Environments
Xinkai Zou, Xuan Jiang, Ruikai Huang +8
Anomaly detection in cloud environments remains both critical and challenging. Existing context-level benchmarks typically focus on either metrics or logs and often lack reliable a…
Demonstrating ViSafe: Vision-enabled Safety for High-speed Detect and Avoid
Parv Kapoor, Ian Higgins, Nikhil Keetha +9
Assured safe-separation is essential for achieving seamless high-density operation of airborne vehicles in a shared airspace. To equip resource-constrained aerial systems with this…
Pretrained Embeddings as a Behavior Specification Mechanism
Parv Kapoor, Abigail Hammer, Ashish Kapoor +2
We propose an approach to formally specifying the behavioral properties of systems that rely on a perception model for interactions with the physical world. The key idea is to intr…
STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
Parv Kapoor, Kazuki Mizuta, Eunsuk Kang +1
Signal Temporal Logic (STL) offers a concise yet expressive framework for specifying and reasoning about spatio-temporal behaviors of robotic systems. Attractively, STL admits the…
Constrained LTL Specification Learning from Examples
Changjian Zhang, Parv Kapoor, Ian Dardik +4
Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime mon…
Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning
Parv Kapoor, Sai Vemprala, Ashish Kapoor
With the advent of large foundation model based planning, there is a dire need to ensure their output aligns with the stakeholder's intent. When these models are deployed in the re…
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
Changjian Zhang, Parv Kapoor, Eunsuk Kang +5
Cyber-physical systems (CPS) with reinforcement learning (RL)-based controllers are increasingly being deployed in complex physical environments such as autonomous vehicles, the In…
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Parv Kapoor, Eunsuk Kang, Romulo Meira-Goes
Trajectory planning is a critical process that enables autonomous systems to safely navigate complex environments. Signal temporal logic (STL) specifications are an effective way t…
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
Changjian Zhang, Parv Kapoor, Romulo Meira-Goes +5
The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and sm…
"Do it my way!": Impact of Customizations on Trust perceptions in Human-Robot Collaboration
Parv Kapoor, Simon Chu, Angela Chen
Trust has been shown to be a key factor in effective human-robot collaboration. In the context of assistive robotics, the effect of trust factors on human experience is further pro…
FoundLoc: Vision-based Onboard Aerial Localization in the Wild
Yao He, Ivan Cisneros, Nikhil Keetha +6
Robust and accurate localization for Unmanned Aerial Vehicles (UAVs) is an essential capability to achieve autonomous, long-range flights. Current methods either rely heavily on GN…
Challenges in Close-Proximity Safe and Seamless Operation of Manned and Unmanned Aircraft in Shared Airspace
Jay Patrikar, Joao P. A. Dantas, Sourish Ghosh +11
We propose developing an integrated system to keep autonomous unmanned aircraft safely separated and behave as expected in conjunction with manned traffic. The main goal is to achi…
Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains
Jasmine Jerry Aloor, Jay Patrikar, Parv Kapoor +2
Seamlessly integrating rules in Learning-from-Demonstrations (LfD) policies is a critical requirement to enable the real-world deployment of AI agents. Recently, Signal Temporal Lo…
Model-based Reinforcement Learning from Signal Temporal Logic Specifications
Parv Kapoor, Anand Balakrishnan, Jyotirmoy V. Deshmukh
Techniques based on Reinforcement Learning (RL) are increasingly being used to design control policies for robotic systems. RL fundamentally relies on state-based reward functions…