1. CP-logic: A language of causal probabilistic events and its relation to logic programming 9
2. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;E Bartocci,2013
4. Lecture Notes in Computer Science;I Beer,2009
5. Bertsekas, D.P., Tsitsiklis, J.N.: An analysis of stochastic shortest path problems, 16(3), 580–595 (1991)