Learning in Markov games with incomplete information
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Conjectural Equilibrium in Multiagent Learning
Machine Learning
Quantitative solution of omega-regular games380872
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Multiagent learning using a variable learning rate
Artificial Intelligence
A multiagent reinforcement learning algorithm using extended optimal response
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
A Model of Partially Observable State Game and its Optimality
Applied Intelligence
n-Person Stochastic Games with Coalitions
Cybernetics and Systems Analysis
Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Games, Probability, and the Quantitative µ-Calculus qMµ
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Karlsruhe Brainstormers - A Reinforcement Learning Approach to Robotic Soccer
RoboCup 2001: Robot Soccer World Cup V
Adaptive Strategies and Regret Minimization in Arbitrarily Varying Markov Environments
COLT '01/EuroCOLT '01 Proceedings of the 14th Annual Conference on Computational Learning Theory and and 5th European Conference on Computational Learning Theory
Polynomial-time reinforcement learning of near-optimal policies
Eighteenth national conference on Artificial intelligence
Spectral theorem for convex monotone homogeneous maps, and ergodic control
Nonlinear Analysis: Theory, Methods & Applications
Coordination in multiagent reinforcement learning: a Bayesian approach
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The empirical Bayes envelope and regret minimization in competitive Markov decision processes
Mathematics of Operations Research
Automated index management for distributed web search
CIKM '03 Proceedings of the twelfth international conference on Information and knowledge management
Nash q-learning for general-sum stochastic games
The Journal of Machine Learning Research
The Dynamic Selection of Coordination Mechanisms
Autonomous Agents and Multi-Agent Systems
Quantitative stochastic parity games
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
ON THE EXISTENCE OF THE PUISEUX EXPANSION OF THE DISCOUNTED REWARDS: A COUNTEREXAMPLE
Probability in the Engineering and Informational Sciences
Quantitative solution of omega-regular games
Journal of Computer and System Sciences - STOC 2001
A Geometric Approach to Multi-Criterion Reinforcement Learning
The Journal of Machine Learning Research
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Asymmetric multiagent reinforcement learning
Web Intelligence and Agent Systems
Code aware resource management
Proceedings of the 5th ACM international conference on Embedded software
Games in system design and verification
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
The complexity of quantitative concurrent parity games
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Model checking discounted temporal properties
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Combinatorial structure and randomized subexponential algorithms for infinite games
Theoretical Computer Science
Intelligent handoff management with interference control for next generation wireless systems
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Results on the quantitative μ-calculus qMμ
ACM Transactions on Computational Logic (TOCL)
Skew and infinitary formal power series
Theoretical Computer Science
Theoretical Computer Science
Concurrent games with tail objectives
Theoretical Computer Science
Reduction of stochastic parity to stochastic mean-payoff games
Information Processing Letters
Controlled Markov chains, graphs, and Hamiltonicity
Foundations and Trends® in Stochastic Systems
Weighted automata with discounting
Information Processing Letters
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
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
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Automata, Probability, and Recursion
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
A Learning Automata Approach to Multi-agent Policy Gradient Learning
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Optimization and dynamical systems algorithms for finding equilibria of stochastic games
Optimization Methods & Software
Discounted Properties of Probabilistic Pushdown Automata
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
Algorithms for Solving Infinite Games
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Significant Diagnostic Counterexamples in Probabilistic Model Checking
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A Survey of Stochastic Games with Limsup and Liminf Objectives
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
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
Protocols with No Acknowledgment
Operations Research
Dynamic programming for partially observable stochastic games
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Markov Decision Processes with Arbitrary Reward Processes
Mathematics of Operations Research
Refined MDP-Based Branch-and-Fix Algorithm for the Hamiltonian Cycle Problem
Mathematics of Operations Research
Probabilistic Weighted Automata
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Weighted automata and weighted logics with discounting
Theoretical Computer Science
Existence of multiagent equilibria with limited agents
Journal of Artificial Intelligence Research
Average-reward decentralized Markov decision processes
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
Online learning in Markov decision processes with arbitrarily changing rewards and transitions
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
Linear Complementarity Algorithms for Infinite Games
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Myopic versus clairvoyant admission policies in wireless networks
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Discounting Infinite Games But How and Why?
Electronic Notes in Theoretical Computer Science (ENTCS)
New Algorithms for Solving Simple Stochastic Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Memoryless Strategies for Stochastic Games via Domain Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Discounting the future in systems theory
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Information flow in concurrent games
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Pure stationary optimal strategies in Markov decision processes
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Recognizable tree series with discounting
Acta Cybernetica
Weighted automata and weighted logics with discounting
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Automating refinement checking in probabilistic system design
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Stochastic Müller games are PSPACE-complete
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Markov decision processes with multiple long-run average objectives
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Conditional probabilities over probabilistic and nondeterministic systems
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Optimizing the decision to expel attackers from an information system
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
ACM Transactions on Computational Logic (TOCL)
Security analysis of enterprise network based on stochastic game nets model
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
Zero-error feedback capacity of channels with state information via dynamic programming
IEEE Transactions on Information Theory
Game theory for cyber security
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Game theory for cognitive radio networks: An overview
Computer Networks: The International Journal of Computer and Telecommunications Networking
A dynamical games approach to transmission-rate adaptation in multimedia WLAN
IEEE Transactions on Signal Processing
One-counter Markov decision processes
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Expected reachability-time games
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
IEEE Transactions on Communications
Reinforcement learning based resource allocation in business process management
Data & Knowledge Engineering
Qualitative concurrent parity games
ACM Transactions on Computational Logic (TOCL)
Discounted Robust Stochastic Games and an Application to Queueing Control
Operations Research
Theoretical considerations of potential-based reward shaping for multi-agent systems
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Quantitative synthesis for concurrent programs
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Symbolic algorithms for qualitative analysis of Markov decision processes with Buchi objectives
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Energy and mean-payoff parity markov decision processes
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
On memoryless quantitative objectives
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Managing a Noncooperative Supply Chain with Limited Capacity
Operations Research
Relating average and discounted costs for quantitative analysis of timed systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
On the markovian randomized strategy of controller for markov decision processes
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
Markov decision processes with multiple objectives
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
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
Nash equilibrium for upward-closed objectives
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete Algorithms
The complexity of stochastic Müller games
Information and Computation
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Measuring and synthesizing systems in probabilistic environments
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Robust Adversarial Risk Analysis: A Level-k Approach
Decision Analysis
Learning to negotiate optimally in non-stationary environments
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Analysis of recursive probabilistic models
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Equational weighted tree transformations with discounting
Algebraic Foundations in Computer Science
Assessing security risk to a network using a statistical model of attacker community competence
ICICS'09 Proceedings of the 11th international conference on Information and Communications Security
Observable subspace solution for irreducible POMDPs with infinite horizon
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
Games and markov decision processes with mean-payoff parity and energy parity objectives
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
Automatica (Journal of IFAC)
Robustness of structurally equivalent concurrent parity games
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Automatic verification of competitive stochastic systems
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Empty container management in a port with long-run average criterion
Mathematical and Computer Modelling: An International Journal
Constrained cost-coupled stochastic games with independent state processes
Operations Research Letters
A note on two-person zero-sum communicating stochastic games
Operations Research Letters
SPAR: stochastic programming with adversarial recourse
Operations Research Letters
Survey: Equilibria, fixed points, and complexity classes
Computer Science Review
Singularly Perturbed Discounted Markov Control Processes in a General State Space
SIAM Journal on Control and Optimization
Dynamic potential-based reward shaping
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Minimizing expected termination time in one-counter markov decision processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
General-sum stochastic games: Verifiability conditions for Nash equilibria
Automatica (Journal of IFAC)
Perfect information stochastic priority games
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Playing stochastic games precisely
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Playing games with counter automata
RP'12 Proceedings of the 6th international conference on Reachability Problems
Variable probabilistic abstraction refinement
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
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
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
Theoretical Computer Science
Continuous-time stochastic games with time-bounded reachability
Information and Computation
Using Direction of Arrival to Estimate Obstacle Areas in Cognitive Sensor Environments
Wireless Personal Communications: An International Journal
Strategy improvement for concurrent reachability and turn-based stochastic safety games
Journal of Computer and System Sciences
Code aware resource management
Formal Methods in System Design
Risk sensitivity of price of anarchy under uncertainty
Proceedings of the fourteenth ACM conference on Electronic commerce
Optimal interdiction of attack plans
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
Formal Methods in System Design
Faster algorithms for markov decision processes with low treewidth
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
From model checking to model measuring
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
A Game-Theoretic Model for Dynamic Pricing and Competition among Cloud Providers
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Hi-index | 0.07 |