There is a newer version of the record available.

Published April 9, 2024 | Version v3
Software Open

Artifact Bisimulation Learning CAV24

  • 1. ROR icon University of Oxford

Description

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
md5:f7376ba11e45c1a9ba82d207fef2a24c
263.8 kB Preview Download

Additional details

Dates

Available
2024-04-08

Software

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

References

  • open science