Published June 23, 2019
| Version 1.0
Software
Open
Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis
Authors/Creators
- 1. Technical University of Munich
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 |