In the conceptual underpinings of the research, we will attempt a rapproachment between Markov decision networks, AI based Bayesian decision networks to come up with a ``soft'' version of verification for hybrid systems. Conceptually this method will be like the change in computational complexity theory between studying worst case behavior of an algorithm and the mean behavior of the algorithm.