There is a newer version of the record available.

Published October 24, 2024 | Version v1
Software Open

Artifact for "SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning"

Creators

  • 1. ROR icon Technical University of Munich
  • 2. ROR icon Masaryk University

Description

Artifact for "SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning"
This artifact allows you to:

  • reproduce all results of the paper
  • easily run SemML with your own set of benchmarks (e.g. for comparisson agaist your own tool)
  • easily incorporate SemML (as a blackbox) in your tool through docker

Files

Files (799.3 MB)

Name Size Download all
md5:76d8a578be6ce141c44a5ebe7e7ac8b8
799.3 MB Download

Additional details

Software

Repository URL
https://gitlab.com/live-lab/software/semml