Published June 23, 2023 | Version v3
Software Open

Maximum Satisfiability for Mission-time Linear Temporal Logic

Creators

  • 1. Iowa State University

Description

Artifacts to reproduce results of Maximum Satisfiability for Mission-time Linear Temporal Logic, 

Gokul Hariharan, Phillip H. Jones, Kristin Y. Rozier, and Tichakorn Wongpiromsarn

The tar file is a docker image of about 5 GB. The size is large because it has all the tools needed to reproduce results in a straightforward manner.

The ReadMe.md file gives directions on how load this docker image and to reproduce results of the paper. 

Files

ReadMe.md

Files (5.2 GB)

Name Size Download all
md5:5adca0c77cc14eb4f9337d90b11cd19f
5.2 GB Download
md5:d00c16c497b21cdec5f2ff44f3bc5ead
7.5 kB Preview Download