Pages that link to "Item:Q5240153"
From MaRDI portal
The following pages link to Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. (Q5240153):
Displaying 3 items.
- Solving systems of bilinear equations for transition rate reconstruction (Q2145274) (← links)
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (Q3519498) (← links)
- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models (Q5014508) (← links)