UBER: Formalizes Autonomous Solutions