Games against nature

From MaRDI portal
Publication:1069296


DOI10.1016/0022-0000(85)90045-5zbMath0583.68020WikidataQ30047574 ScholiaQ30047574MaRDI QIDQ1069296

Christos H. Papadimitriou

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


68Q25: Analysis of algorithms and problem complexity

91A80: Applications of game theory

91A35: Decision theory for games


Related Items

TETRIS IS HARD, EVEN TO APPROXIMATE, Challenges in Constraint-Based Analysis of Hybrid Systems, Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic, Scheduling Two-Point Stochastic Jobs to Minimize the Makespan on Two Parallel Machines, Dot operators, Moving in a network under random failures: a complexity analysis, Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems, Randomization for robot tasks: using dynamic programming in the space of knowledge states, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Shortest paths without a map, Contingent planning under uncertainty via stochastic satisfiability, Computation of equilibria in noncooperative games, Optimal node visitation in acyclic stochastic digraphs with multi-threaded traversals and internal visitation requirements, APPSSAT: Approximate probabilistic planning using stochastic satisfiability, An application of quantum finite automata to interactive proof systems, Minimum disclosure proofs of knowledge, Interactive foundations of computing, The complexity of stochastic games, Generalizations of Opt P to the polynomial hierarchy, A short certificate of the number of universal optimal strategies for stopping simple stochastic games, On the complexity of partially observed Markov decision processes, Sound and efficient closed-world reasoning for planning, Quantum multi-prover interactive proof systems with limited prior entanglement., Interactive and probabilistic proof-checking, Decision algorithms for multiplayer noncooperative games of incomplete information, Endgame problems of Sim-like graph Ramsey avoidance games are PSPACE-complete., Computational complexity of stochastic programming problems, Solving H-horizon, stationary Markov decision problems in time proportional to log (H), Unnamed Item, Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems, Scheduling Stochastic Jobs with a Two-Point Distribution on Two Parallel Machines, On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability, De Groot duality and models of choice: angels, demons and nature, From State-of-the-Art Static Fleet Assignment to Flexible Stochastic Planning of the Future, The polynomial hierarchy and a simple model for competitive analysis, Classifying the computational complexity of problems



Cites Work