A theory for the semantics of stochastic and non-deterministic continuous systems
Preprint de capítulo del libro Lecture Notes in Computer Science book series (LNCS, volume 8453)
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | bookPart biblioteca |
| Language: | eng |
| Published: |
2014
|
| Subjects: | Nondeterministic Markov decision process, Bisimulation, Logic, Continuous probabilities, Model Check, Logical characterization, Probabilistic automaton, Transition probability function, Borel space, |
| Online Access: | http://hdl.handle.net/11086/19117 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|