Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
From MaRDI portal
Publication:6614884
DOI10.1016/j.ic.2024.105193MaRDI QIDQ6614884
Gabriel Pinheiro Alves Santos, Rui Yan, David Parker, Marta Kwiatkowska, Gethin Norman
Publication date: 8 October 2024
Published in: Information and Computation (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Efficient approximation of optimal control for continuous-time Markov games
- The complexity of two-player games of incomplete information
- Universally measurable strategies in zero-sum stochastic games
- Discounted Markov games: Generalized policy iteration method
- Compositional strategy synthesis for stochastic games with multiple objectives
- Continuous-time stochastic games with time-bounded reachability
- Optimal strategies in a class of zero-sum ergodic stochastic games
- Comparison of algorithms for simple stochastic games
- Qualitative analysis of concurrent mean-payoff games
- On stochastic games
- Rethinking formal models of partially observable multiagent decision making
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- Zero-sum stochastic games in Borel spaces: average payoff criteria
- Stochastic Differential Games Involving Impulse Controls and Double-Obstacle Quasi-variational Inequalities
- Q-Learning and Enhanced Policy Iteration in Discounted Dynamic Programming
- A Mixed Value and Policy Iteration Method for Stochastic Control with Universally Measurable Policies
- Existence of Value and Randomized Strategies in Zero-Sum Discrete-Time Stochastic Dynamic Games
- Comparison of Information Structures for Zero-Sum Games and a Partial Converse to Blackwell Ordering in Standard Borel Spaces
- Policy Evaluation and Seeking for Multiagent Reinforcement Learning via Best Response
- Zero-Sum Markov Games with Impulse Controls
- On Convergence of Value Iteration for a Class of Total Cost Markov Decision Processes
- On Nonterminating Stochastic Games
- Algorithms for Stochastic Games with Geometrical Interpretation
- Stochastic Games
This page was built for publication: Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games