Probabilistic Logical Characterization
Probabilistic automata exhibit both probabilistic and non-deterministic choice. They are therefore a powerful semantic foundation for modeling concurrent systems with random phenomena arising in many applications ranging from artificial intelligence, security, systems biology to performance modeling....
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Published: |
2011
|