1: \begin{abstract}

2: Under suitable conditions on a family  $(I(t))_{t\ge 0}$ of Lipschitz mappings on a complete metric space,

3: we show that up to a subsequence the strong limit $S(t):=\lim_{n\to\infty}(I(t 2^{-n}))^{2^n}$  

4: exists for all dyadic time points $t$, and extends to a strongly continuous semigroup $(S(t))_{t\ge 0}$.  The common idea in the present approach is 

5: to find conditions on the generating family  $(I(t))_{t\ge 0}$, which by iteration can be transferred to the semigroup.

6: The construction relies  on the Lipschitz set, which is invariant under iterations and 

7: allows to preserve Lipschitz continuity to the limit. Moreover, we provide a verifiable condition which ensures that the infinitesimal generator of the semigroup is given by  $\lim_{h\downarrow 0}\tfrac{I(h)x-x}{h}$ whenever this limit exists.  The results are illustrated with several examples of nonlinear semigroups

8: such as robustifications and perturbations of linear semigroups.

9: 

10: \smallskip

11: \noindent 

12: \emph{Key words:} Nonlinear semigroup,  infinitesimal generator, Lipschitz set, Chernoff approximation

13: 

14: \smallskip

15: \noindent \emph{AMS 2020 Subject Classification:} Primary 47H20; 47J25; Secondary 47J35; 35B20; 35K55

16: \end{abstract}

17: