Software Open Access

Artifact for "Programming and Reasoning with Partial Observability"

Atkinson, Eric; Carbin, Michael

This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial Observability".

Files (19.2 kB)
Name Size
cblimp.zip
md5:6a7bda3466b0d95af93c9c8ec0852ac9
19.2 kB Download
47
8
views
downloads
All versions This version
Views 4747
Downloads 88
Data volume 154.0 kB154.0 kB
Unique views 4444
Unique downloads 88

Share

Cite as