Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published April 14, 2025 | Version v1
Software Open

Robust Probabilistic Bisimilarity for Labelled Markov Chains

Authors/Creators

  • Fatmi, Syyeda Zainab1 ORCID icon
  • 1. ROR icon University of Oxford

Description

CAV2025 Artifact

Files

README.md

Files (880.7 MB)

Name Size
README.md
md5:bc832aacc440db500ba79054e2e783c7
4.8 kB Preview Download
robust-bisimilarity.tar.gz
md5:651819adeceaa6a6f124341fec5e21ad
880.7 MB Download
99
Views
87
Downloads
Show more details
All versions This version
Views

Total views

99 99
Downloads

Total downloads

87 87
Data volume

Total data volume

46.7 GB 46.7 GB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.15175186
DOI Badge

DOI 

10.5281/zenodo.15175186

Markdown 

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

reStructuredText 

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

HTML 

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

Image URL 

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

Target URL 

https://doi.org/10.5281/zenodo.15175186
Resource type
Software
Publisher
Zenodo

Rights

License
GNU General Public License v2.0 or later
No further description. Read more

Citation

Export

Technical metadata

Created
April 14, 2025
Modified
April 14, 2025

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies