Dataset Open Access

Experiments for 'Verification of indefinite-horizon POMDPs'

Alexander Bork; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann


JSON-LD (schema.org) Export

{
  "description": "<p>Supplementary material for the ATVA 2020 paper on Verification of indefinite-horizon POMDPs</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "RWTH Aachen University", 
      "@type": "Person", 
      "name": "Alexander Bork"
    }, 
    {
      "affiliation": "UC Berkeley", 
      "@type": "Person", 
      "name": "Sebastian Junges"
    }, 
    {
      "affiliation": "RWTH Aachen University", 
      "@type": "Person", 
      "name": "Joost-Pieter Katoen"
    }, 
    {
      "affiliation": "RWTH Aachen University", 
      "@type": "Person", 
      "name": "Tim Quatmann"
    }
  ], 
  "url": "https://zenodo.org/record/3924577", 
  "datePublished": "2020-06-30", 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/c3cfd364-6e8d-4fd2-b554-1c460109c8f9/indefinite-horizon-pomdps-master.zip", 
      "encodingFormat": "zip", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/c3cfd364-6e8d-4fd2-b554-1c460109c8f9/README.md", 
      "encodingFormat": "md", 
      "@type": "DataDownload"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.3924577", 
  "@id": "https://doi.org/10.5281/zenodo.3924577", 
  "@type": "Dataset", 
  "name": "Experiments for 'Verification of indefinite-horizon POMDPs'"
}
77
27
views
downloads
All versions This version
Views 7777
Downloads 2727
Data volume 63.2 MB63.2 MB
Unique views 7373
Unique downloads 2020

Share

Cite as