There is a newer version of the record available.

Published February 26, 2024 | Version v1
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 Transactions on Automatic Control (TAC) 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-tac.zip

Files (1.5 GB)

Name Size Download all
md5:eb5d6efdc8abb7a067a10469b8d50346
1.5 GB Preview Download