- Tytuł:
- Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
- Autorzy:
-
Rataj, A.
Woźna-Szcześniak, B. - Data publikacji:
- 2018
- Słowa kluczowe:
-
extrapolation
non-determinism
optimal policy
probabilistic model checking
statistical model checking - Pokaż więcej
- Dostawca treści:
- BazTech