We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.GT

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computer Science and Game Theory

Title: Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games

Abstract: We present novel techniques for neuro-symbolic concurrent stochastic games, a recently proposed modelling formalism to represent a set of probabilistic agents operating in a continuous-space environment using a combination of neural network based perception mechanisms and traditional symbolic methods. To date, only zero-sum variants of the model were studied, which is too restrictive when agents have distinct objectives. We formalise notions of equilibria for these models and present algorithms to synthesise them. Focusing on the finite-horizon setting, and (global) social welfare subgame-perfect optimality, we consider two distinct types: Nash equilibria and correlated equilibria. We first show that an exact solution based on backward induction may yield arbitrarily bad equilibria. We then propose an approximation algorithm called frozen subgame improvement, which proceeds through iterative solution of nonlinear programs. We develop a prototype implementation and demonstrate the benefits of our approach on two case studies: an automated car-parking system and an aircraft collision avoidance system.
Comments: 14 pages, 7 figures
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
Journal reference: Uncertainty in Artificial Intelligence (UAI2022)
Cite as: arXiv:2205.07546 [cs.GT]
  (or arXiv:2205.07546v2 [cs.GT] for this version)

Submission history

From: Rui Yan [view email]
[v1] Mon, 16 May 2022 09:48:12 GMT (466kb,D)
[v2] Sat, 18 Jun 2022 14:34:07 GMT (477kb,D)

Link back to: arXiv, form interface, contact.