124 citations · 140 across the 13 of their papers we have counts for
3 papers · 2 filters
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker +3
We study automated test generation for verifying discrete decision-making modules in autonomous systems. We utilize linear temporal logic to encode the requirements on the system u…
Robust Locomotion on Legged Robots through Planning on Motion Primitive Graphs
Wyatt Ubellacker, Aaron Ames
The functional demands of robotic systems often require completing various tasks or behaviors under the effect of disturbances or uncertain environments. Of increasing interest is…
Self-Supervised Online Learning for Safety-Critical Control using Stereo Vision
Ryan K. Cosner, Ivan D. Jimenez Rodriguez, Tamas G. Molnar +4
With the increasing prevalence of complex vision-based sensing methods for use in obstacle identification and state estimation, characterizing environment-dependent measurement err…