1: \begin{abstract}

2: A K3 surface $X$ over a $p$-adic field $K$ is said to have good reduction if it admits a proper smooth model over the integer ring of $K$.

3: Assuming this, we say that a subgroup $G$ of $\mathrm{Aut}(X)$ is extendable 

4: if $X$ admits a proper smooth model equipped with $G$-action (compatible with the action on $X$).

5: We show that $G$ is extendable if it is of finite order prime to $p$ and acts symplectically (that is, preserves the global $2$-form on $X$).

6: The proof relies on birational geometry of models of K3 surfaces,

7: and equivariant simultaneous resolutions of certain singularities.

8: We also give some examples of non-extendable actions.

9: \end{abstract}