The following pages link to Probabilistic game automata (Q1824400):
Displaying 5 items.
- Computation of equilibria in noncooperative games (Q815274) (← links)
- Multi-oracle interactive protocols with constant space verifiers (Q1190986) (← links)
- Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata (Q2343133) (← links)
- Debates with Small Transparent Quantum Verifiers (Q5890816) (← links)
- Logspace verifiers, NC, and NP (Q6487945) (← links)