1 citations · 1 across the 9 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
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…
cs.SE2026
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…