Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
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
View Other Search Results
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