“…For finitestate CSGs, algorithms for their solution are known [Chatterjee et al, 2013, de Alfaro and Majumdar, 2004, De Alfaro et al, 2007 and, more recently, techniques and tools for In this paper, we work with the recently proposed formalism of neuro-symbolic concurrent stochastic games (NS-CSGs) [Yan et al, 2022b], designed to model probabilistic multi-agent systems comprising neuro-symbolic agents operating concurrently within a shared, continuous-state environment. In [Yan et al, 2022b], the zero-sum control problem is considered, namely to synthesise strategies for one set of agents who are aiming to maximise their (discounted, infinite-horizon) expected reward, while the other agents aim to minimise this value. However, in practice, this is limiting: even for the case of just two coalitions of agents, they will often have distinct, but not directly opposing goals, which cannot be modelled in a zero-sum fashion.…”