Search results for "two-player games"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Stefan Edelkamp, Peter Kissmann	Symbolic Classification of General Two-Player Games.	KI	2008	DBLP DOI BibTeX RDF
2	Bruno Codenotti, Amin Saberi, Kasturi R. Varadarajan, Yinyu Ye	Leontief economies encode nonzero sum two-player games.	SODA	2006	DBLP DOI BibTeX RDF
2	Olivier Serre	Games with Winning Conditions of High Borel Complexity.	ICALP	2004	DBLP DOI BibTeX RDF	Borel Complexity, Pushdown Automata, Two-player Games
2	Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz	How Much Memory is Needed to Win Infinite Games?	LICS	1997	DBLP DOI BibTeX RDF	finitely coloured graphs, size of memory, latest appearance record, winning strategies, polynomial-size blowup, data structure, graph colouring, reactive programs, I/O automata, infinite games, two-player games, upper and lower bounds
2	Alexander Reinefeld, T. Anthony Marsland	Enhanced Iterative-Deepening Search.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	iterative-deepening search, breadth-first node expansion, successively extended search horizons, information management techniques, fast-execution memory functions, computational complexity, game theory, iterative methods, search problems, space complexity, depth-first searches, A* search, search efficiency, best-first searches, two-player games
1	Predrag T. Tosic, Philip Dasler	Strategies for Challenging Two-player Games - Some Lessons from Iterated Traveler's Dilemma.	ICAART	2012	DBLP BibTeX RDF
1	Sung-Ha Hwang, Luc Rey-Bellet	Decompositions of two player games: potential, zero-sum, and stable games	CoRR	2011	DBLP BibTeX RDF
1	Nicola Gatti, Claudio Iuliano	Computing an Extensive-Form Perfect Equilibrium in Two-Player Games.	AAAI	2011	DBLP BibTeX RDF
1	Rabah Amir, Filomena Garcia, Malgorzata Knauff	Symmetry-breaking in two-player games via strategic substitutes and diagonal nonconcavity: A synthesis.	J. Economic Theory	2010	DBLP DOI BibTeX RDF
1	Peter Kissmann, Stefan Edelkamp	Layer-Abstraction for Symbolically Solving General Two-Player Games.	SOCS	2010	DBLP BibTeX RDF
1	Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel	GPU Exploration of Two-Player Games with Perfect Hash Functions.	SOCS	2010	DBLP BibTeX RDF
1	Sofia Ceppi, Nicola Gatti, Giorgio Patrini, Marco Rocco	Local Search Methods for Finding a Nash Equilibrium in Two-Player Games.	IAT	2010	DBLP DOI BibTeX RDF
1	Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca	Fair Adversaries and Randomization in Two-Player Games.	FOSSACS	2010	DBLP DOI BibTeX RDF
1	Wieslaw Zielonka	Playing in stochastic environment: from multi-armed bandits to two-player games.	FSTTCS	2010	DBLP DOI BibTeX RDF
1	Ross Cressman	Continuously stable strategies, neighborhood superiority and two-player games with continuous strategy space.	Int. J. Game Theory	2009	DBLP DOI BibTeX RDF
1	Carlos Hervés-Beloso, Emma Moreno-García	Walrasian analysis via two-player games.	Games and Economic Behavior	2009	DBLP DOI BibTeX RDF
1	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser	Automatic device driver synthesis with termite.	SOSP	2009	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, software synthesis, two-player games
1	Christopher Archibald, Yoav Shoham	Modeling billiards games.	AAMAS	2009	DBLP DOI BibTeX RDF	best response, billiards games, game theory, stochastic games, equilibria
1	Lorenz Minder, Dan Vilenchik	Small Clique Detection and Approximate Nash Equilibria.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
1	Sven Schewe	From Parity and Payoff Games to Linear Programming.	MFCS	2009	DBLP DOI BibTeX RDF
1	Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker	Abstraction Refinement for Probabilistic Software.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Martin Zimmermann 0002	Time-Optimal Winning Strategies for Poset Games.	CIAA	2009	DBLP DOI BibTeX RDF
1	Mehdi Samadi, Jonathan Schaeffer, Fatemeh Torabi Asr, Majid Samar, Zohreh Azimifar	Using abstraction in Two-Player Games.	ECAI	2008	DBLP DOI BibTeX RDF
1	Elisabeth Rakus-Andersson, Maria Salomonsson, Hang Zettervall	Ranking of Weighted Strategies in the Two-Player Games with Fuzzy Entries of the Payoff Matrix.	HIS	2008	DBLP DOI BibTeX RDF	Imprecise payoff matrix, profit variables, weighted strategies, optimal strategies of a fuzzy game
1	Huimin Lin	Stratifying Winning Positions in Parity Games.	Petri Nets	2008	DBLP DOI BibTeX RDF
1	Florian Horn, Wolfgang Thomas, Nico Wallmeier	Optimal Strategy Synthesis in Request-Response Games.	ATVA	2008	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu	Timed Parity Games: Complexity and Robustness.	FORMATS	2008	DBLP DOI BibTeX RDF
1	Julien Cristau, Florian Horn	On Reachability Games of Ordinal Length.	SOFSEM	2008	DBLP DOI BibTeX RDF
1	Wolfgang Thomas	Optimizing Winning Strategies in Regular Infinite Games.	SOFSEM	2008	DBLP DOI BibTeX RDF
1	Orna Kupferman, Yoad Lustig	Multi-valued Logics, Automata, Simulations, and Games.	VMCAI	2008	DBLP DOI BibTeX RDF
1	René Mandiau, Alexis Champion, Jean-Michel Auberlet, Stéphane Espié, Christophe Kolski	Behaviour based on decision matrices for a coordination between agents in a urban traffic simulation.	Appl. Intell.	2008	DBLP DOI BibTeX RDF	Conflict solving, Decision matrices, Autonomous vehicle, Traffic simulation, Multi-agent coordination
1	Drew Fudenberg, David K. Levine	The Nash-threats folk theorem with communication and approximate common knowledge in two player games.	J. Economic Theory	2007	DBLP DOI BibTeX RDF
1	Yi Luo, Ladislau Bölöni	Children in the forest: towards a canonical problem of spatio-temporal collaboration.	AAMAS	2007	DBLP DOI BibTeX RDF
1	Tomás Feder, Hamid Nazerzadeh, Amin Saberi	Approximating nash equilibria using small-support strategies.	ACM Conference on Electronic Commerce	2007	DBLP DOI BibTeX RDF	small-support strategies, Nash equilibrium, probabilistic methods
1	Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga	Game Relations and Metrics.	LICS	2007	DBLP DOI BibTeX RDF
1	Orna Kupferman, Yoad Lustig	Latticed Simulation Relations and Games.	ATVA	2007	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Pritam Roy	Solving Games Via Three-Valued Abstraction Refinement.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman	Strategy Logic.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Christos H. Papadimitriou	Nash Equilibria: Where We Stand.	ESA	2007	DBLP DOI BibTeX RDF
1	Rafal Lopatka, Andrzej Dzielinski	Modeling Human Performance in Two Player Zero Sum Games Using Kelly Criterion.	ICANNGA	2007	DBLP DOI BibTeX RDF
1	Hartwig Bosse, Jaroslaw Byrka, Evangelos Markakis	New Algorithms for Approximate Nash Equilibria in Bimatrix Games.	WINE	2007	DBLP DOI BibTeX RDF
1	Peter Bro Miltersen, Troels Bjerre Sørensen	Computing sequential equilibria for two-player games.	SODA	2006	DBLP DOI BibTeX RDF
1	V. Scott Gordon, Ahmed Reda	Trappy Minimax - using Iterative Deepening to Identify and Set Traps in Two-Player Games.	CIG	2006	DBLP DOI BibTeX RDF
1	Nathan R. Sturtevant, Michael H. Bowling	Robust game play against unknown opponents.	AAMAS	2006	DBLP DOI BibTeX RDF	search, opponent modeling, multi-player games
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker	Game-based Abstraction for Markov Decision Processes.	QEST	2006	DBLP DOI BibTeX RDF
1	Sebastian Kupferschmid, Malte Helmert	A Skat Player Based on Monte-Carlo Simulation.	Computers and Games	2006	DBLP DOI BibTeX RDF
1	Nathan R. Sturtevant, Adam M. White	Feature Construction for Reinforcement Learning in Hearts.	Computers and Games	2006	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Nir Piterman	Solving Games Without Determinization.	CSL	2006	DBLP DOI BibTeX RDF
1	Bruno Codenotti, Mauro Leoncini, Giovanni Resta	Efficient Computation of Nash Equilibria for Very Sparse Win-Lose Bimatrix Games.	ESA	2006	DBLP DOI BibTeX RDF
1	Bruno Codenotti, Amin Saberi, Kasturi R. Varadarajan, Yinyu Ye	Leontief Economies Encode Nonzero Sum Two-Player Games	Electronic Colloquium on Computational Complexity (ECCC)	2005	DBLP BibTeX RDF
1	Stefan J. Johansson, Fredrik Håård	Tactical coordination in no-press diplomacy.	AAMAS	2005	DBLP DOI BibTeX RDF	diplomacy, game bots, multiagent system, board games, contract net
1	Timothy G. Abbott, Daniel M. Kane, Paul Valiant	On the Complexity of Two-PlayerWin-Lose Games.	FOCS	2005	DBLP DOI BibTeX RDF
1	Hugo Gimbert, Wieslaw Zielonka	Games Where You Can Play Optimally Without Any Memory.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Stéphane Airiau, Sandip Sen	Learning Pareto-optimal Solutions in 2x2 Conflict Games.	LAMAS	2005	DBLP DOI BibTeX RDF
1	Samson Abramsky	Algorithmic Game Semantics and Static Analysis.	SAS	2005	DBLP DOI BibTeX RDF
1	Gilles Audemard, Lakhdar Sais	A Symbolic Search Based Approach for Quantified Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF	Satisfiability, Binary decision diagram, Quantified boolean formula
1	Naveen Sivadasan	Online problems and two-player games: algorithms and analysis.		2004	RDF
1	Rajeev Alur, Salvatore La Torre	Deterministic generators and games for Ltl fragments.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Games, Temporal Logic, Automata
1	Paul E. Dunne, Wiebe van der Hoek	Representation and Complexity in Boolean Games.	JELIA	2004	DBLP DOI BibTeX RDF
1	Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe	Games with Uniqueness Properties.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
1	Sandip Sen, Stéphane Airiau, Rajatish Mukherjee	Towards a pareto-optimal solution in general-sum games.	AAMAS	2003	DBLP DOI BibTeX RDF	strategy revelation, agents, game playing
1	Harry G. Mairson	From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis.	ICFP	2003	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger	Simple Stochastic Parity Games.	CSL	2003	DBLP DOI BibTeX RDF
1	Tristan Cazenave	Admissible Moves in Two-Player Games.	SARA	2002	DBLP DOI BibTeX RDF
1	David Ginat	Effective binary perspectives in algorithmic problem solving.	ACM Journal of Educational Resources in Computing	2002	DBLP DOI BibTeX RDF	Algorithmic problem solving, education, games, invariant properties, binary representation
1	Thierry Cachat, Jacques Duparc, Wolfgang Thomas	Solving Pushdown Games with a Sigma3 Winning Condition.	CSL	2002	DBLP DOI BibTeX RDF
1	Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger	Trading Probability for Fairness.	CSL	2002	DBLP DOI BibTeX RDF
1	Thierry Cachat	Symbolic Strategy Synthesis for Games on Pushdown Graphs.	ICALP	2002	DBLP DOI BibTeX RDF
1	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Local Parallel Model Checking for the Alternation-Free µ-Calculus.	SPIN	2002	DBLP DOI BibTeX RDF
1	Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe	Games with a Uniqueness Property.	STACS	2002	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Rupak Majumdar	Quantitative solution of omega-regular games.	STOC	2001	DBLP DOI BibTeX RDF
1	Hartmut Klauck	Algorithms for Parity Games.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
1	Wojciech Jamroga	A Defense Model for Games with Incomplete Information.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Thomas A. Henzinger	Concurrent Omega-Regular Games.	LICS	2000	DBLP DOI BibTeX RDF
1	Rajatish Mukherjee, Bikramjit Banerjee, Sandip Sen	Learning Mutual Trust.	Trust in Cyber-societies	2000	DBLP DOI BibTeX RDF
1	Aviezri S. Fraenkel	Virus Versus Mankind.	Computers and Games	2000	DBLP DOI BibTeX RDF	two-player cellular automata games, generalized Sprague-Grundy function
1	Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet	A Game Semantics Foundation for Logic Programming (Extended Abstract).	PLILP/ALP	1998	DBLP DOI BibTeX RDF
1	Bruce Abramson	Expected-Outcome: A General Model of Static Evaluation.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	expected-outcome model, game-tree node, Othello evaluator, artificial intelligence, artificial intelligence, game theory, game theory, heuristic, decision making, linear regression
1	Bruce Abramson	Control Strategies for Two-Player Games.	ACM Comput. Surv.	1989	DBLP DOI BibTeX RDF
1	John H. Reif	The Complexity of Two-Player Games of Incomplete Information.	J. Comput. Syst. Sci.	1984	DBLP DOI BibTeX RDF