Kinematic formulas on the quaternionic plane
  We introduce different bases for the vector space of $\mathrm{Sp}(2)\mathrm{Sp}(1)$-invariant, translation invariant continuous valuations on the quaternionic plane and determine a complete set of kinematic formulas. 
Andreas Bernig and Gil Solanes
math.DG