Published May 3, 2024
| Version v5
Software
Open
Artifact Bisimulation Learning CAV24
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
(212.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:482f9b332b89d26594066f3e38b7f4fe
|
212.0 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