Graham White 0002 John Ingham Mark Law Alessandra Russo Using an ASG Based Generative Policy to Model Human Rules. 99-103 2019 SMARTCOMP https://doi.org/10.1109/SMARTCOMP.2019.00036 conf/smartcomp/2019 db/conf/smartcomp/smartcomp2019.html#WhiteILR19