Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
Incomplete Markov Chains -- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
Yazar
Filiot, Emmanuel. editor.
Format:
Electronic Resources
Alıntı:
Generalized Parity Games -- Reachability in Augmented Interval Markov Chains -- On Solving Word Equations
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
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Data-Parameterized Systems -- Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate
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
Pitts, Andrew. editor.
Format:
Electronic Resources
Alıntı:
Chains -- Decidable and Expressive Classes of Probabilistic Automata -- Knowledge = Observation + Memory
Yazar
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Analysis in Verification of Discrete-Time Markov Chains -- Robust Synchronization in Markov Decision
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
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Approximation of the Bounded Reachability Probability in Large Markov Chains -- Accelerating Parametric
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
-- Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks -- PROPhESY: A
Arama Sonuçlarını Sınırlandır
Daraltılmış: