A formal verification analysis of a bayesian inference-based sensors and actuators control systemMark Moulin2006IECON 2006