Stochastic Boolean Satisfiability
Journal of Automated Reasoning
Games, Probability, and the Quantitative µ-Calculus qMµ
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Verifying minimum stable circuit values
Information Processing Letters
A randomized subexponential algorithm for parity games
Nordic Journal of Computing
On the undecidability of probabilistic planning and related stochastic optimization problems
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Contingent planning under uncertainty via stochastic satisfiability
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Automata logics, and infinite games
Quantitative stochastic parity games
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
A deterministic subexponential algorithm for solving parity games
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
The complexity of quantitative concurrent parity games
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Combinatorial structure and randomized subexponential algorithms for infinite games
Theoretical Computer Science
Results on the quantitative μ-calculus qMμ
ACM Transactions on Computational Logic (TOCL)
How to solve large scale deterministic games with mean payoff by policy iteration
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
Discrete Applied Mathematics
The NP-completeness column: Finding needles in haystacks
ACM Transactions on Algorithms (TALG)
Theoretical Computer Science
Concurrent games with tail objectives
Theoretical Computer Science
Games, geometry, and the computational complexity of finding equilibria
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A near-optimal strategy for a heads-up no-limit Texas Hold'em poker tournament
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Reduction of stochastic parity to stochastic mean-payoff games
Information Processing Letters
Cyclic games and linear programming
Discrete Applied Mathematics
Games, Time, and Probability: Graph Models for System Design and Analysis
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
25 Years of Model Checking
Deterministic Graphical Games Revisited
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Solving Simple Stochastic Games
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
A Simple P-Matrix Linear Complementarity Problem for Discounted Games
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
A CSP-Based Approach for Solving Parity Game
FAW '08 Proceedings of the 2nd annual international workshop on Frontiers in Algorithmics
Automata, Probability, and Recursion
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Player Co-Modelling in a Strategy Board Game: Discovering How to Play Fast
Cybernetics and Systems
The Max-Atom Problem and Its Relevance
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Termination criteria for solving concurrent safety and reachability games
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Discounted deterministic Markov decision processes and discounted all-pairs shortest paths
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Algorithms for Solving Infinite Games
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Stochastic Games for Verification of Probabilistic Timed Automata
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Value-function approximations for partially observable Markov decision processes
Journal of Artificial Intelligence Research
Reinforcement learning: a survey
Journal of Artificial Intelligence Research
The computational complexity of probabilistic planning
Journal of Artificial Intelligence Research
Planning and acting in partially observable stochastic domains
Artificial Intelligence
Communication complexity of stochastic games
GameNets'09 Proceedings of the First ICST international conference on Game Theory for Networks
Computational Aspects of Equilibria
SAGT '09 Proceedings of the 2nd International Symposium on Algorithmic Game Theory
The Complexity of Solving Stochastic Games on Graphs
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
New Results on Simple Stochastic Games
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
New Algorithms for Solving Simple Stochastic Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Discounted deterministic Markov decision processes and discounted all-pairs shortest paths
ACM Transactions on Algorithms (TALG)
Optimal strategy synthesis in stochastic Müller games
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Linear complementarity and p-matrices for stochastic games
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Stochastic Müller games are PSPACE-complete
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Simple stochastic games with few random vertices are easy to solve
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Stochastic games with lossy channels
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Information and Computation
ACM Transactions on Computational Logic (TOCL)
Decision problems for Nash equilibria in stochastic games
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
A game-based abstraction-refinement framework for Markov decision processes
Formal Methods in System Design
Probabilistic propositional planning: representations and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Solving simple stochastic tail games
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
A framework for verification of software with time and probabilities
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Expected reachability-time games
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
On the Complexity of Nash Equilibria and Other Fixed Points
SIAM Journal on Computing
Qualitative concurrent parity games
ACM Transactions on Computational Logic (TOCL)
Exact algorithms for solving stochastic games: extended abstract
Proceedings of the forty-third annual ACM symposium on Theory of computing
On strategy improvement algorithms for simple stochastic games
Journal of Discrete Algorithms
On the complexity of core, kernel, and bargaining set
Artificial Intelligence
Qualitative reachability in stochastic BPA games
Information and Computation
Automatizability and simple stochastic games
ICALP'11 Proceedings of the 38th international colloquim conference on Automata, languages and programming - Volume Part I
Quantitative refinement for weighted modal transition systems
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Probabilistic abstractions with arbitrary domains
SAS'11 Proceedings of the 18th international conference on Static analysis
Verifying team formation protocols with probabilistic model checking
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
The complexity of plan existence and evaluation in robabilistic domains
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
An O(n2) time algorithm for alternating Büchi games
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Strategy improvement and randomized subexponential algorithms for stochastic parity games
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Recursive concurrent stochastic games
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
The complexity of stochastic rabin and streett games
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Recursive markov decision processes and recursive stochastic games
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A survey of stochastic ω-regular games
Journal of Computer and System Sciences
Concurrent games with tail objectives
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Best probabilistic transformers
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
A subexponential lower bound for the random facet algorithm for parity games
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
On minmax theorems for multiplayer games
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
The complexity of stochastic Müller games
Information and Computation
Simple stochastic games and p-matrix generalized linear complementarity problems
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Strategy improvement for stochastic rabin and streett games
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Analysis of recursive probabilistic models
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
PASS: abstraction refinement for infinite probabilistic models
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
On strategy improvement algorithms for simple stochastic games
CIAC'10 Proceedings of the 7th international conference on Algorithms and Complexity
Simulation-Based graph similarity
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A pumping algorithm for ergodic stochastic mean payoff games with perfect information
IPCO'10 Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization
Survey A survey of computational complexity results in systems and control
Automatica (Journal of IFAC)
Heuristics for probabilistic timed automata with abstraction refinement
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Robustness of structurally equivalent concurrent parity games
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Survey: Equilibria, fixed points, and complexity classes
Computer Science Review
p-Automata: New foundations for discrete-time probabilistic verification
Performance Evaluation
Repeated zero-sum games with budget
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Partial-Observation Stochastic Games: How to Win When Belief Fails
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Theoretical Computer Science
Polynomial-Time algorithms for energy games with special weight structures
ESA'12 Proceedings of the 20th Annual European conference on Algorithms
Solving simple stochastic games with few coin toss positions
ESA'12 Proceedings of the 20th Annual European conference on Algorithms
Playing games with counter automata
RP'12 Proceedings of the 6th international conference on Reachability Problems
Equivalence of games with probabilistic uncertainty and partial-observation games
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Approximating the termination value of one-counter MDPs and stochastic games
Information and Computation
Strategy improvement for concurrent reachability and turn-based stochastic safety games
Journal of Computer and System Sciences
Weighted modal transition systems
Formal Methods in System Design
A superpolynomial lower bound for strategy iteration based on snare memorization
Discrete Applied Mathematics
Determinacy and optimal strategies in infinite-state stochastic reachability games
Theoretical Computer Science
The proof-search problem between bounded-width resolution and bounded-degree semi-algebraic proofs
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Stochastic parity games on lossy channel systems
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
From software verification to `everyware' verification
Computer Science - Research and Development
A survey of partial-observation stochastic parity games
Formal Methods in System Design
| Hi-index | 0.01 |