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...

Full description

Bibliographic Details
Main Authors: Yan, R, Santos, G, Duan, X, Parker, D, Kwiatkowska, M
Format: Conference item
Language:English
Published: Journal of Machine Learning Research 2022