@article{martens-2024-modeling, title={Modeling Game Mechanics With Ceptre}, volume={16}, ISSN={2475-1510}, url={http://dx.doi.org/10.1109/tg.2023.3292982}, DOI={10.1109/tg.2023.3292982}, number={2}, journal={IEEE Transactions on Games}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Martens, Chris and Card, Alexander and Crain, Henry and Khatri, Asha}, year={2024}, month=June, pages={431–444} }