There is a newer version of the record available.

Published April 25, 2025 | Version v1
Software Open

Artifact for "Controller Synthesis for Parametric Timed Games"

Authors/Creators

  • 1. ROR icon Aarhus University
  • 2. ROR icon Université Sorbonne Paris Nord

Description

Artifact for our paper "Controller Synthesis for Parametric Timed Games"

Files

Files (709.8 MB)

Name Size Download all
md5:37debb1dcad492fb2bc585197c120499
709.8 MB Download