Search Results for Probabilities.

Yazar

Draheim, Dirk. author.

Format:

Electronic Resources

Alıntı:

preservation result for conditional probabilities under the full update range and compares F.P. semantics with

10.

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

11.

Yazar

Breugel, Franck van. editor.

Format:

Electronic Resources

Alıntı:

Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities

12.

Yazar

Muscholl, Anca. editor.

Format:

Electronic Resources

Alıntı:

Probabilities in Reconfigurable Broadcast Networks -- Unsafe Order-2 Tree Languages Are Context-Sensitive

	{displayName}	{count}
{error}