An End-to-End Framework for Control Synthesis from Demonstrations via Probabilistic Automata Learning