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
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
View Other Search Results
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
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
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
Merz, Stephan. editor.
Format:
Electronic Resources
Alıntı:
Parameter Inference -- SCC-Based Improved Reachability Analysis for Markov Decision Processes
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
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
-- Quantitative Anonymity Evaluation of Voting Protocols -- Scalable Verification of Markov Decision Processes