Software Open Access

Artifact for "Programming and Reasoning with Partial Observability"

Atkinson, Eric; Carbin, Michael

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4088252", 
  "author": [
    {
      "family": "Atkinson, Eric"
    }, 
    {
      "family": "Carbin, Michael"
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2020, 
        10, 
        14
      ]
    ]
  }, 
  "abstract": "<p>This is the artifact that accompanies the OOPSLA 2020 paper &quot;Programming and Reasoning with Partial Observability&quot;.</p>", 
  "title": "Artifact for \"Programming and Reasoning with Partial Observability\"", 
  "type": "article", 
  "id": "4088252"
}
85
9
views
downloads
All versions This version
Views 8585
Downloads 99
Data volume 173.2 kB173.2 kB
Unique views 8080
Unique downloads 99
More info on how stats are collected.
Indexed in
Publication date:
October 14, 2020
DOI:
10.5281/zenodo.4088252

Zenodo DOI Badge

DOI 

10.5281/zenodo.4088252

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4088252.svg)](https://doi.org/10.5281/zenodo.4088252)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4088252.svg
   :target: https://doi.org/10.5281/zenodo.4088252

HTML 

<a href="https://doi.org/10.5281/zenodo.4088252"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4088252.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4088252.svg

Target URL 

https://doi.org/10.5281/zenodo.4088252

Related identifiers:
Supplementary material
License (for files):
MIT License

Versions

Version 1 10.5281/zenodo.4088252 Oct 14, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4088251. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export