A multiple goal model that can reason about user 's interleaving goals is presented by Chai and Yang , where a deterministic state transition model is applied .
A deterministic goal model that can reason about user 's interleaving goals is presented by Chai and Yang , where a multiple state transition model is applied .