Pages that link to "Item:Q877158"
From MaRDI portal
The following pages link to Parametric probabilistic transition systems for system design and analysis (Q877158):
Displaying 23 items.
- Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
- Finding provably optimal Markov chains (Q2044197) (← links)
- Fine-tuning the odds in Bayesian networks (Q2146027) (← links)
- Gradient-descent for randomized controllers under partial observability (Q2152644) (← links)
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination (Q2182734) (← links)
- An extension of the inverse method to probabilistic timed automata (Q2248053) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- The complexity of reachability in parametric Markov decision processes (Q2662678) (← links)
- Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems (Q2945585) (← links)
- Model Repair for Probabilistic Systems (Q3000664) (← links)
- (Q3384160) (← links)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- A probabilistic protocol for the assessment of transition and control (Q5110479) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- Consistency for parametric interval Markov chains (Q5240149) (← links)
- On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains (Q5881537) (← links)
- Parameter-Independent Strategies for pMDPs via POMDPs (Q6104800) (← links)
- POMDP controllers with optimal budget (Q6160772) (← links)
- Automatically finding the right probabilities in Bayesian networks (Q6488813) (← links)
- Efficient sensitivity analysis for parametric robust Markov chains (Q6535680) (← links)
- Parameter synthesis for Markov models: covering the parameter space (Q6564178) (← links)
