Artifact Bisimulation Learning CAV24

Schnitzer, Yannik

doi:10.5281/zenodo.10947858

There is a newer version of the record available.

Published April 9, 2024 | Version v3

Software Open

Artifact Bisimulation Learning CAV24

Schnitzer, Yannik¹

1. University of Oxford

This is the artifact for the CAV 2024 paper "Bisimulation Learning". The zip contains a README file with all instructions.

Files

Bisimulation-Learning.zip

Files (263.8 kB)

Name	Size	Download all
Bisimulation-Learning.zip md5:f7376ba11e45c1a9ba82d207fef2a24c	263.8 kB	Preview Download

Additional details

Available: 2024-04-08

Repository URL: https://github.com/yannikschnitzer/Bisimulation-Learning
Programming language: Python

open science

Citations

Oops! Something went wrong while fetching results.

224

Views

Downloads

Show more details

	All versions	This version
Views	224	67
Downloads	37	15
Data volume	10.9 MB	4.0 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: April 9, 2024
Modified: April 9, 2024

Artifact Bisimulation Learning CAV24

Files

Bisimulation-Learning.zip

Files (263.8 kB)

Additional details

Dates

Software

References

Artifact Bisimulation Learning CAV24

Creators

Description

Files

Bisimulation-Learning.zip

Files (263.8 kB)

Additional details

Dates

Software

References