There is a newer version of the record available.

Published November 24, 2024 | Version v3
Software Open

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

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 .tar.gz file or load the iso image, and the instructions are included in README.md. 

Files

Files (7.2 GB)

Name Size Download all
md5:ebd8cb6d01f9382d3404538a1ac5c279
6.9 GB Download
md5:fd2e1f28b1bf9a8a476e2d1285ac3c6d
208.8 MB Download

Additional details

Software

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