Games against nature
From MaRDI portal
Publication:1069296
DOI10.1016/0022-0000(85)90045-5zbMath0583.68020OpenAlexW2019851160WikidataQ30047574 ScholiaQ30047574MaRDI QIDQ1069296
Publication date: 1985
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(85)90045-5
Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Decision theory for games (91A35)
Related Items
Quantum alternation ⋮ The polynomial hierarchy and a simple model for competitive analysis ⋮ A short certificate of the number of universal optimal strategies for stopping simple stochastic games ⋮ On the complexity of partially observed Markov decision processes ⋮ Solving H-horizon, stationary Markov decision problems in time proportional to log (H) ⋮ TETRIS IS HARD, EVEN TO APPROXIMATE ⋮ Minimum disclosure proofs of knowledge ⋮ Unnamed Item ⋮ Interactive foundations of computing ⋮ Exact stochastic constraint optimisation with applications in network analysis ⋮ Approximate counting in SMT and value estimation for probabilistic programs ⋮ A resolution proof system for dependency stochastic Boolean satisfiability ⋮ On counting propositional logic and Wagner's hierarchy ⋮ Sound and efficient closed-world reasoning for planning ⋮ Confidence-based reasoning in stochastic constraint programming ⋮ Quantum multi-prover interactive proof systems with limited prior entanglement. ⋮ The stochastic arrival problem ⋮ On the complexity of computational problems associated with simple stochastic games ⋮ Solving multistage quantified linear optimization problems with the alpha-beta nested Benders decomposition ⋮ Classifying the computational complexity of problems ⋮ Moving in a network under random failures: a complexity analysis ⋮ The cost of adaptivity in security games on graphs ⋮ On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability ⋮ Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic ⋮ Generalized Quantum Arthur--Merlin Games ⋮ Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems ⋮ The complexity of stochastic games ⋮ De Groot duality and models of choice: angels, demons and nature ⋮ Generalizations of Opt P to the polynomial hierarchy ⋮ Randomization for robot tasks: using dynamic programming in the space of knowledge states ⋮ Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems ⋮ Optimal node visitation in acyclic stochastic digraphs with multi-threaded traversals and internal visitation requirements ⋮ Computational complexity of stochastic programming problems ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ Challenges in Constraint-Based Analysis of Hybrid Systems ⋮ On sabotage games ⋮ Dot operators ⋮ APPSSAT: Approximate probabilistic planning using stochastic satisfiability ⋮ An application of quantum finite automata to interactive proof systems ⋮ From State-of-the-Art Static Fleet Assignment to Flexible Stochastic Planning of the Future ⋮ Scheduling Two-Point Stochastic Jobs to Minimize the Makespan on Two Parallel Machines ⋮ Interactive and probabilistic proof-checking ⋮ Scheduling Stochastic Jobs with a Two-Point Distribution on Two Parallel Machines ⋮ Endgame problems of Sim-like graph Ramsey avoidance games are PSPACE-complete. ⋮ Shortest paths without a map ⋮ Decision algorithms for multiplayer noncooperative games of incomplete information ⋮ Contingent planning under uncertainty via stochastic satisfiability ⋮ Computation of equilibria in noncooperative games
Cites Work
- The complexity of computing the permanent
- Dynamic programming and stochastic control
- The polynomial-time hierarchy
- On the complexity of some two-person perfect-information games
- Alternation
- The Planar Hamiltonian Circuit Problem is NP-Complete
- Computational Complexity of Probabilistic Turing Machines
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item