Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis

Jan Křetínský; Alexander Manta; Tobias Meggendorfer

doi:10.5281/zenodo.3255854

Published June 23, 2019 | Version 1.0

Software Open

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis

1. Technical University of Munich

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
artefact.zip md5:0252c24c1bb31bfa9888202b0789896b	496.4 MB	Preview Download

119

Views

Downloads

Show more details

	All versions	This version
Views	119	75
Downloads	23	16
Data volume	11.1 GB	7.9 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: June 25, 2019
Modified: January 25, 2020

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis

Creators

Description

Files

artefact.zip

Files (496.4 MB)

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.