@PhDThesis{San21,
author={Gabriel Santos},
title={Automatic Verification and Strategy Synthesis for Zero-sum and Equilibria Properties of Concurrent Stochastic Games},
school={Department of Computer Science, University of Oxford},
year={2021},

type={},
address={},
month={},
note={},
key={}
}