Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.

Hiroshi Yoshida Katsuhisa Horimoto Hirokazu Anai Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination. 473-485 2008 1 Mathematics in Computer Science 3 http://dx.doi.org/10.1007/s11786-007-0037-z db/journals/mics/mics1.html#YoshidaHA08