Pages that link to "Item:Q854167"
From MaRDI portal
The following pages link to Switched PIOA: parallel composition via distributed scheduling (Q854167):
Displaying 10 items.
- Abstract probabilistic automata (Q386011) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- Distributed Synthesis in Continuous Time (Q2811352) (← links)
- Abstract Probabilistic Automata (Q3075492) (← links)
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers (Q3184684) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)
