Back to Results
First PageMeta Content
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

Document Date: 2010-04-01 04:16:38


Open Document

File Size: 657,57 KB

Share Result on Facebook