This paper presents a sound and complete quantitative axiomatisation of the shortest-distinguishing-word distance between regular languages.
