Visible to the public Formal Synthesis with Learning of Environmental Dynamics - Calin Belta