Yazar
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227
Format:
Electronic Resources
Alıntı:
, stochastic processes, Markov processes, renewal theory, network performance equation and network protocols. .
Yazar
D'Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
Protocols -- Probabilistic Systems Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes -- Lightweight
Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
-- Bicategories of Markov Processes -- Property-Preserving Parallel Decomposition -- A Generic Algorithm for