HOME       UP       PREV       NEXT (Stochastic Differential Equations)  

Probabilistic Model Checking

Rather than finite-state space we have a probabilistic flux from one state to another ... »Springer Book


13: (C) 2012-16, DJ Greaves, University of Cambridge, Computer Laboratory.