Yazar
D'Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
Protocols -- Probabilistic Systems Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision
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