Some of our recent work has been published in premier control, robotics, learning, and formal methods venues.
