Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
Yazar
Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678
Format:
Electronic Resources
Alıntı:
Presentations in Coalgebraic Expression Languages -- Long-Term Values in Markov Decision Processes, (Co
View Other Search Results
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes
Yazar
Filiot, Emmanuel. editor.
Format:
Electronic Resources
Alıntı:
Bidding Games on Markov Decision Processes -- Primitivity and synchronizing automata: a functional
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
Mechanisms -- Bisimulation for Markov Decision Processes through Families of Functional Expressions -- Random
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test Coverage
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
Systems -- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to
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
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Analysis in Verification of Discrete-Time Markov Chains -- Robust Synchronization in Markov Decision
Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
training using the Viterbi semiring -- Formal languages over GF(2) -- Timed Comparisons of Semi-Markov
Arama Sonuçlarını Sınırlandır
Daraltılmış: