The following pages link to Abstract probabilistic automata (Q386011):
Displaying 15 items.
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- Performance analysis of probabilistic action systems (Q1764427) (← links)
- Counterexample-guided inductive synthesis for probabilistic systems (Q1982641) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- Stuttering for abstract probabilistic automata (Q2436515) (← links)
- Refinement and difference for probabilistic automata (Q2878759) (← links)
- (Q3738564) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- Probabilistic asynchronous automata (Q4864443) (← links)
- Consistency for parametric interval Markov chains (Q5240149) (← links)
- Probabilistic ω-automata (Q5395674) (← links)
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains (Q5881537) (← links)
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)
- Counterexample-driven synthesis for probabilistic program sketches (Q6535945) (← links)