Q2 Symbolic Reasoning about Noisy Dynamic Systems. - Stephen P. Linder; Zbigniew Korona; Mieczyslaw M. Kokar (J. Intell. Robotic Syst., 1999)