@software{atkinson_2020_4088252, author = {Atkinson, Eric and Carbin, Michael}, title = {{Artifact for "Programming and Reasoning with Partial Observability"}}, month = oct, year = 2020, publisher = {Zenodo}, doi = {10.5281/zenodo.4088252}, url = {https://doi.org/10.5281/zenodo.4088252} }