Pages that link to "Item:Q386007"
From MaRDI portal
The following pages link to Compositional probabilistic verification through multi-objective model checking (Q386007):
Displaying 13 items.
- Quantitative verification and strategy synthesis for stochastic games (Q328165) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Probabilistic verification of hierarchical leader election protocol in dynamic systems (Q1713851) (← links)
- Verification of compliance for multilevel models in individual trace semantics (Q2064403) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Trade-off analysis meets probabilistic model checking (Q4635586) (← links)
- Compositional probabilistic model checking with string diagrams of MDPs (Q6535679) (← links)
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves (Q6600072) (← links)
- Compositional analysis of probabilistic timed graph transformation systems (Q6611954) (← links)
- A compositional approach to parity games (Q6653762) (← links)
