1.
Yazar
Lozovanu, Dmitrii. author.
Format:
Electronic Resources
Alıntı:
Discrete stochastic processes, numerical methods for Markov chains and polynomial time algorithms
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
View Other Search Results
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis
Yazar
Wittevrongel, Sabine. editor.
Format:
Electronic Resources
Alıntı:
-- Fingerprinting and Reconstruction of Functionals of Discrete Time Markov Chains -- On the Blocking Probability
Yazar
Diaz, Josep. editor.
Format:
Electronic Resources
Alıntı:
-- Parametric LTL on Markov Chains -- Specifying and Verifying Properties of Space -- Primal Infon Logic with
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
Fuzzing on top of LLVM -- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops -- Chain
Yazar
Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
Format:
Electronic Resources
Alıntı:
for population Markov chains.
Yazar
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
Format:
Electronic Resources
Alıntı:
matrices on Xeon Phi clusters -- Stochastic bounds for Markov chains on Intel Xeon Phi coprocessor
Arama Sonuçlarını Sınırlandır
Daraltılmış: