Filter by: Subject
Now showing items 1-9
Bisimulation (1) |
Borel space (1) |
Continuous probabilities (1) |
Logic (1) |
Logical characterization (1) |
Model Check (1) |
Nondeterministic Markov decision process (1) |
Probabilistic automaton (1) |
Transition probability function (1) |