Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes
Yazar
Dimov, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Option Pricing -- Applications of Numerical Methods for Stochastic Controlled Switching Diffusions with A
View Other Search Results
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ı:
Multi-Objective Strategy Synthesis for Stochastic Games -- Cerberus: Automated Synthesis of Enforcement Mechanisms
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving -- On
Yazar
Loo, Chu Kiong. editor.
Format:
Electronic Resources
Alıntı:
Decision-Making Processes - Theories and Applications -- Freshness-Aware Thompson Sampling -- Condition monitoring