tokens: The Dialog State Tracking Challenge ( DSTC ) williams2013dialog formalizes the problem as a supervised sequential labelling task where the state tracker estimates the true slot values based on a sequence of NLU outputs .