- Tytuł:
- A Decidable Probability Logic for Timed Probabilistic Systems
- Autorzy:
-
Lanotte, R.
Beauquier, D. - Data publikacji:
- 2009
- Słowa kluczowe:
-
Markov decision processes
Probabilistic Timed Transition Systems
model checking
predicate logic of probabilities - Pokaż więcej
- Dostawca treści:
- BazTech