Pages that link to "Item:Q2575854"

The following pages link to A theory of stochastic systems. I: Stochastic automata (Q2575854):

Displaying 10 items.

• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
• When are stochastic transition systems tameable? (Q1648646) (← links)
• Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
• A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
• Identity-Based Cryptosystems and Quadratic Residuosity (Q2798777) (← links)
• Categories of Timed Stochastic Relations (Q2805158) (← links)
• Distributed Synthesis in Continuous Time (Q2811352) (← links)
• Fixed-Delay Events in Generalized Semi-Markov Processes Revisited (Q3090827) (← links)
• Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
• Compositional Design of Stochastic Timed Automata (Q5740181) (← links)