1 citations · 1 across the 9 of their papers we have counts for
5 papers · 1 filter
Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
Ian Dardik, Eunsuk Kang
A common technique for verifying the safety of complex systems is the inductive invariant method. Inductive invariants are inductive formulas that overapproximate the reachable sta…
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…
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…