Yazar
Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391
Format:
Electronic Resources
Alıntı:
Decision Making -- Precise and Imprecise Probabilities -- Uncertain Reasoning for Applications.
Yazar
André, Étienne. editor. (orcid)0000-0001-8473-9555
Format:
Electronic Resources
Alıntı:
and non-linear systems; timed automata; special session on timed systems and probabilities.
View Other Search Results
Yazar
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight.
Yazar
Horváth, András. editor.
Format:
Electronic Resources
Alıntı:
Global Reachability Probabilities of Markov Population Models -- Explicit State Space and Markov Chain
Yazar
Vrajitoru, Dana. author.
Format:
Electronic Resources
Alıntı:
-- Recurrence Relations -- Deterministic Analysis of Algorithms -- Algorithms and Probabilities -- Finite Graph
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of
Yazar
Breugel, Franck van. editor.
Format:
Electronic Resources
Alıntı:
Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
Probabilities in Reconfigurable Broadcast Networks -- Unsafe Order-2 Tree Languages Are Context-Sensitive
Yazar
Ben Amor, Nahla. editor.
Format:
Electronic Resources
Alıntı:
probabilities, fuzzy set theory, rough set theory, ordinal uncertainty representations, or even purely
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Quantum Protocols by Equivalence Checking -- Computing Conditional Probabilities in Markovian Models