Gabriel Santos

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games

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 method…