Software Open Access
Atkinson, Eric; Carbin, Michael
{ "description": "<p>This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial Observability".</p>", "license": "https://opensource.org/licenses/MIT", "creator": [ { "affiliation": "MIT", "@type": "Person", "name": "Atkinson, Eric" }, { "affiliation": "MIT", "@type": "Person", "name": "Carbin, Michael" } ], "url": "https://zenodo.org/record/4088252", "datePublished": "2020-10-14", "@context": "https://schema.org/", "identifier": "https://doi.org/10.5281/zenodo.4088252", "@id": "https://doi.org/10.5281/zenodo.4088252", "@type": "SoftwareSourceCode", "name": "Artifact for \"Programming and Reasoning with Partial Observability\"" }
All versions | This version | |
---|---|---|
Views | 85 | 85 |
Downloads | 9 | 9 |
Data volume | 173.2 kB | 173.2 kB |
Unique views | 80 | 80 |
Unique downloads | 9 | 9 |