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
View Other Search Results
Yazar
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Analysis in Verification of Discrete-Time Markov Chains -- Robust Synchronization in Markov Decision
Yazar
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Approximation of the Bounded Reachability Probability in Large Markov Chains -- Accelerating Parametric
Arama Sonuçlarını Sınırlandır
Daraltılmış: