39 citations · 47 across the 3 of their papers we have counts for
3 papers
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Edward Kim, Jay Shenoy, Sebastian Junges +3
Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently, substantial research has focused on searchi…
Analyzing and Improving Neural Networks by Generating Semantic Counterexamples through Differentiable Rendering
Lakshya Jain, Varun Chandrasekaran, Uyeong Jang +6
Even as deep neural networks (DNNs) have achieved remarkable success on vision-related tasks, their performance is brittle to transformations in the input. Of particular interest a…
Learning Task Specifications from Demonstrations
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari +2
Real world applications often naturally decompose into several sub-tasks. In many settings (e.g., robotics) demonstrations provide a natural way to specify the sub-tasks. However,…