RT DF A1 Carrillo, Estefany. T1 Controller Synthesis and Formal Behavior Inference in Autonomous Systems