Published April 9, 2024
| Version v3
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
(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