Software Open Access
Atkinson, Eric; Carbin, Michael
<?xml version='1.0' encoding='utf-8'?> <resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd"> <identifier identifierType="DOI">10.5281/zenodo.4088252</identifier> <creators> <creator> <creatorName>Atkinson, Eric</creatorName> <givenName>Eric</givenName> <familyName>Atkinson</familyName> <affiliation>MIT</affiliation> </creator> <creator> <creatorName>Carbin, Michael</creatorName> <givenName>Michael</givenName> <familyName>Carbin</familyName> <affiliation>MIT</affiliation> </creator> </creators> <titles> <title>Artifact for "Programming and Reasoning with Partial Observability"</title> </titles> <publisher>Zenodo</publisher> <publicationYear>2020</publicationYear> <dates> <date dateType="Issued">2020-10-14</date> </dates> <resourceType resourceTypeGeneral="Software"/> <alternateIdentifiers> <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/4088252</alternateIdentifier> </alternateIdentifiers> <relatedIdentifiers> <relatedIdentifier relatedIdentifierType="DOI" relationType="IsSupplementedBy" resourceTypeGeneral="ConferencePaper">10.1145/3428268</relatedIdentifier> <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.4088251</relatedIdentifier> </relatedIdentifiers> <rightsList> <rights rightsURI="https://opensource.org/licenses/MIT">MIT License</rights> <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights> </rightsList> <descriptions> <description descriptionType="Abstract"><p>This is the artifact that accompanies the OOPSLA 2020 paper &quot;Programming and Reasoning with Partial Observability&quot;.</p></description> </descriptions> </resource>
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 |