Published June 23, 2019
| Version 1.0
Software
Open
Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
Description
This archive contains all code relevant to reproduce the evaluation of the corresponding paper.
Files
artefact.zip
Files
(496.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:0252c24c1bb31bfa9888202b0789896b
|
496.4 MB | Preview Download |