Autonomous Robotic Reactive Behavior: Synthesis, Scalability, And Transparency