There is a newer version of the record available.

Published May 30, 2024 | Version v2
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:8e269365b0293b24586144d58ab0a8be
1.7 GB Preview Download