There is a newer version of the record available.

Published November 24, 2024 | Version v4
Software Open

Artifact for "WEST: Interactive Validation of Mission-time Linear Temporal Logic (MLTL)"

Creators

  • 1. ROR icon Iowa State University

Description

This is an artifact for the paper "WEST: Interactive Validation of Mission-time Linear Temporal Logic (MLTL)."

The supporting code in the artifact replicates the validation process that the WEST tool is validated with, as well as figure 7 presented in the paper. 

Unpack the .zip file or load the ova image, and the instructions are included in README.md. 

If you run into the following error while loading the ova image, please update virtualbox to the latest release:

"vmwgfx seems to be running on an unsupported hypervisor..."

Files

WEST.zip

Files (11.8 GB)

Name Size Download all
md5:30dad1e1cc214765f5ea6d5d8a5445ae
11.6 GB Download
md5:53ff84442a585db3af818690e8d3e9a1
214.1 MB Preview Download

Additional details

Software

Repository URL
https://github.com/zwang271/WEST/tree/artifact
Programming language
Python, C++
Development Status
Active