Pages that link to "Item:Q3452222"
From MaRDI portal
The following pages link to On the expressiveness and complexity of randomization in finite state monitors (Q3452222):
Displaying 10 items.
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Decidable and expressive classes of probabilistic automata (Q1740668) (← links)
- Probabilistic causes in Markov chains (Q2147196) (← links)
- A survey of partial-observation stochastic parity games (Q2248075) (← links)
- Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata (Q2988371) (← links)
- Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds (Q3075473) (← links)
- The Effect of Tossing Coins in Omega-Automata (Q3184662) (← links)
- Probabilistic Acceptors for Languages over Infinite Words (Q3599062) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- Power of Randomization in Automata on Infinite Strings (Q5895118) (← links)
