Pages that link to "Item:Q5277768"
From MaRDI portal
The following pages link to Results on the quantitative μ-calculus <i>qM</i> μ (Q5277768):
Displaying 8 items.
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Automatic verification of competitive stochastic systems (Q2248068) (← links)
- Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (Q3012936) (← links)
- (Q5009454) (← links)
- (Q5089290) (← links)
- (Q5214813) (← links)
- Automated Verification of Concurrent Stochastic Games (Q6104811) (← links)
- Symbolic verification and strategy synthesis for turn-based stochastic games (Q6113986) (← links)