Published March 6, 2025 | Version v5
Software Open

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

Authors/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 (13.0 GB)

Name Size Download all
md5:ef02fe00aa12d856fc3b0eb3c51a946c
12.8 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