There is a newer version of the record available.

Published April 17, 2026 | Version v1
Software Open

Artifact for "State-Space Abstractions for Parametric Timed Games"

Authors/Creators

  • 1. ROR icon Aarhus University
  • 2. ROR icon Laboratoire d'Informatique de Paris-Nord

Description

Artifact for our paper "State-Space Abstractions for Parametric Timed Games"

Files

Files (279.9 MB)

Name Size Download all
md5:c60031d892b2c6c15b9d771eb78ca5cb
279.9 MB Download