9 papers
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…
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…
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…
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…
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…