1: \begin{abstract}

2: We develop the motivic integration theory over formal Deligne-Mumford

3: stacks over a power series ring of arbitrary characteristic. This

4: is a generalization of the corresponding theory for tame and smooth

5: Deligne-Mumford stacks constructed in earlier papers of the author.

6: As an application, we obtain the wild motivic McKay correspondence

7: for linear actions of arbitrary finite groups, which has been known

8: only for cyclic groups of prime order. In particular, this implies

9: the motivic version of Bhargava's mass formula as a special case.

10: In fact, we prove a more general result, the invariance of stringy

11: motives of (stacky) log pairs under crepant morphisms.

12: \end{abstract}

13: