The following pages link to Stochastic Timed Automata (Q2938760):
Displaying 8 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)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters (Q2177765) (← links)
- Probabilistic Time Petri Nets (Q2822657) (← links)
- (Q5021008) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← links)
