The following pages link to Stochastic Timed Automata (Q2938760):
Displaying 13 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)
- (Q3111928) (← links)
- (Q5021008) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
- A Maximal Entropy Stochastic Process for a Timed Automaton, (Q5327423) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← links)
- Max-entropy sampling for deterministic timed automata under linear duration constraints (Q6546454) (← links)
- Comparing two approaches to include stochasticity in hybrid automata (Q6546460) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction (Q6599370) (← links)
