@InProceedings{YSN+24b,
author={Rui Yan and Gabriel Santos and Gethin Norman and David Parker and Marta Kwiatkowska},
title={Partially Observable Stochastic Games with Neural Perception Mechanisms},
booktitle={Proc. 26th International Symposium on Formal Methods (FM'24)},
year={2024},

editors={},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={},
address={},
month={},
note={},
key={}
}