@InProceedings{GHI+18,
author={R. Giaquinta and R. Hoffmann and M. Ireland and A. Miller and G. Norman},
title={Strategy Synthesis for Autonomous Agents using PRISM},
booktitle={Tenth NASA Formal Methods Symposium (NFM 2018)},
year={2018},

editor={A. Narkawicz and A. Dutle and C. Munoz},
pages={220--236},
organization={},
publisher={Springer},
series={LNCS},
volume={10811},
address={},
month={},
note={},
key={}
}