Published May 31, 2024 | Version v3
Software Open

Artifact supplement for 'An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty'

Authors/Creators

  • 1. ROR icon Brno University of Technology
  • 2. ROR icon Radboud University Nijmegen
  • 3. ROR icon RWTH Aachen University

Description

Artifact supplement for submission "An Oracle-Guided Approach to Constrained Controller Synthesis Under Uncertainty".

The attached file includes:

  • docker image containing our tool and the models considered in our article
  • log files from the conducted experiments

Files

paynt-jair.zip

Files (1.7 GB)

Name Size
md5:1a6d057aef59b0abaa4424c0a5aeaa8a
1.7 GB Preview Download