There is a newer version of the record available.

Published April 9, 2024 | Version v2
Software Restricted

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact)

Authors/Creators

  • 1. ROR icon National Institute of Informatics
  • 2. ROR icon Kyushu University

Description

An artifact package to replicate the experiments presented in the paper "Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications".

This file contains a docker image.

Files

Restricted

The record is publicly accessible, but files are restricted to users with access.