Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games

Rui Yan, Gabriel Santos, Gethin Norman +2

Neuro-symbolic approaches to artificial intelligence, which combine neural networks with classical symbolic techniques, are growing in prominence, necessitating formal approaches t…