Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test Coverage
View Other Search Results
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Yazar
Merz, Stephan. editor.
Format:
Electronic Resources
Alıntı:
Parameter Inference -- SCC-Based Improved Reachability Analysis for Markov Decision Processes
Yazar
Dimov, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Hidden Markov Chain: Case Studies on Distributed Power Management and Communication Resource Allocation
Arama Sonuçlarını Sınırlandır
Daraltılmış: