Dataset Open Access

Experiments for 'Verification of indefinite-horizon POMDPs'

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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3924577", 
  "title": "Experiments for 'Verification of indefinite-horizon POMDPs'", 
  "issued": {
    "date-parts": [
      [
        2020, 
        6, 
        30
      ]
    ]
  }, 
  "abstract": "<p>Supplementary material for the ATVA 2020 paper on Verification of indefinite-horizon POMDPs</p>", 
  "author": [
    {
      "family": "Alexander Bork"
    }, 
    {
      "family": "Sebastian Junges"
    }, 
    {
      "family": "Joost-Pieter Katoen"
    }, 
    {
      "family": "Tim Quatmann"
    }
  ], 
  "note": "Currently, these files are also hosted on GitHub: https://github.com/moves-rwth/indefinite-horizon-pomdps", 
  "type": "dataset", 
  "id": "3924577"
}
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