Software Open Access

Code and experiment data for the ICAPS 2018 paper "Symmetry-based Task Reduction for Relaxed Reachability Analysis"

Röger, Gabriele; Sievers, Silvan; Katz, Michael

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
32
15
views
downloads
All versions This version
Views 3232
Downloads 1515
Data volume 1.5 GB1.5 GB
Unique views 3232
Unique downloads 1010
More info on how stats are collected.
Indexed in
Publication date:
March 15, 2021
DOI:
10.5281/zenodo.4604491

Zenodo DOI Badge

DOI 

10.5281/zenodo.4604491

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Communities:
License (for files):
GNU General Public License v3.0 or later

Versions

Version 1 10.5281/zenodo.4604491 Mar 15, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4604490. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export