4 papers · 1 filter
NeuroSTAR: Automata-guided Neuro-symbolic Specification Formalization
Joy Saha, Trey Woodlief, Sebastian Elbaum +1
Automated translation of natural language (NL) descriptions into Linear Temporal Logic over finite traces (LTLf) is a prerequisite for automated formal verification of a system's d…
SeFaR: Semantic Feature-aware Robustness Testing of Deep Neural Networks
Nusrat Jahan Mozumder, Divya Gopinath, Corina Pasareanu +1
Deep neural networks are increasingly deployed in safety-critical domains as perception modules, where failures are often caused due to rare and under-represented scenarios. This n…
STADA: Specification-based Testing for Autonomous Driving Agents
Joy Saha, Trey Woodlief, Sebastian Elbaum +1
Simulation-based testing has become a standard approach to validating autonomous driving agents prior to real-world deployment. A high-quality validation campaign will exercise an…
LabelAny3D: Label Any Object 3D in the Wild
Jin Yao, Radowan Mahmud Redoy, Sebastian Elbaum +2
Detecting objects in 3D space from monocular input is crucial for applications ranging from robotics to scene understanding. Despite advanced performance in the indoor and autonomo…