Published October 27, 2023 | Version v1
Software Open

Artifact for "On-The-Fly Algorithm for Reachability in Parametric Timed Games"

Authors/Creators

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

Description

Artifact for our paper "On-The-Fly Algorithm for Reachability in Parametric Timed Games"

Files

artifact.zip

Files (102.2 MB)

Name Size Download all
md5:1fd5590de7b54274597fc0df8b567360
102.2 MB Preview Download