Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random
View Other Search Results
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
and Timed Systems - Trace Refinement in Labelled Markov Decision Processes -- Qualitative Analysis of
Yazar
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Process Theory -- Continuity Properties of Distances for Markov Processes -- Deciding the Value 1 Problem
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Verification of Continuous-Space Pure Jump Markov Processes -- Abstract Learning Frameworks for Synthesis
Arama Sonuçlarını Sınırlandır
Daraltılmış: