Chapter 8 T Verification of Real-time Probabilistic Systems

First Page		Document Content
Date: 2010-04-01 04:16:38 Finite automata Probability theory Probability Timed automaton Markov processes Probabilistic automaton Markov decision process Model checking Automata theory Probabilistic logic		Chapter 8 T Verification of Real-time Probabilistic Systems Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 657,57 KB Share Document on Facebook