Published May 4, 2025 | Version v2
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 (700.0 MB)

Name Size Download all
md5:40864b81419b2dcbc45a43ccebaea960
700.0 MB Download