The following pages link to Abstract probabilistic automata (Q386011):
Displaying 6 items.
- Counterexample-guided inductive synthesis for probabilistic systems (Q1982641) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- (Q5240149) (← 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)
