Pages that link to "Item:Q2453112"
From MaRDI portal
The following pages link to Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112):
Displaying 6 items.
- Switched PIOA: parallel composition via distributed scheduling (Q854167) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- The complexity of reachability in parametric Markov decision processes (Q2662678) (← links)
- Distributed Synthesis in Continuous Time (Q2811352) (← links)
- Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata (Q2849998) (← links)
- On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375) (← links)