Games against nature

From MaRDI portal
Revision as of 01:07, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1069296

DOI10.1016/0022-0000(85)90045-5zbMath0583.68020OpenAlexW2019851160WikidataQ30047574 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




Related Items

Quantum alternationThe polynomial hierarchy and a simple model for competitive analysisA short certificate of the number of universal optimal strategies for stopping simple stochastic gamesOn the complexity of partially observed Markov decision processesSolving H-horizon, stationary Markov decision problems in time proportional to log (H)TETRIS IS HARD, EVEN TO APPROXIMATEMinimum disclosure proofs of knowledgeUnnamed ItemInteractive foundations of computingExact stochastic constraint optimisation with applications in network analysisApproximate counting in SMT and value estimation for probabilistic programsA resolution proof system for dependency stochastic Boolean satisfiabilityOn counting propositional logic and Wagner's hierarchySound and efficient closed-world reasoning for planningConfidence-based reasoning in stochastic constraint programmingQuantum multi-prover interactive proof systems with limited prior entanglement.The stochastic arrival problemOn the complexity of computational problems associated with simple stochastic gamesSolving multistage quantified linear optimization problems with the alpha-beta nested Benders decompositionClassifying the computational complexity of problemsMoving in a network under random failures: a complexity analysisThe cost of adaptivity in security games on graphsOn the Relationship between Hybrid Probabilistic Logic Programs and Stochastic SatisfiabilityStochastic Satisfiability Modulo Theories for Non-linear ArithmeticGeneralized Quantum Arthur--Merlin GamesGeneralized Craig Interpolation for Stochastic Boolean Satisfiability ProblemsThe complexity of stochastic gamesDe Groot duality and models of choice: angels, demons and natureGeneralizations of Opt P to the polynomial hierarchyRandomization for robot tasks: using dynamic programming in the space of knowledge statesConstraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systemsOptimal node visitation in acyclic stochastic digraphs with multi-threaded traversals and internal visitation requirementsComputational complexity of stochastic programming problemsEngineering constraint solvers for automatic analysis of probabilistic hybrid automataChallenges in Constraint-Based Analysis of Hybrid SystemsOn sabotage gamesDot operatorsAPPSSAT: Approximate probabilistic planning using stochastic satisfiabilityAn application of quantum finite automata to interactive proof systemsFrom State-of-the-Art Static Fleet Assignment to Flexible Stochastic Planning of the FutureScheduling Two-Point Stochastic Jobs to Minimize the Makespan on Two Parallel MachinesInteractive and probabilistic proof-checkingScheduling Stochastic Jobs with a Two-Point Distribution on Two Parallel MachinesEndgame problems of Sim-like graph Ramsey avoidance games are PSPACE-complete.Shortest paths without a mapDecision algorithms for multiplayer noncooperative games of incomplete informationContingent planning under uncertainty via stochastic satisfiabilityComputation of equilibria in noncooperative games



Cites Work