Published August 24, 2023
| Version v1
Software
Open
Artifact for "Mission-time LTL (MLTL) Formula Validation Via Regular Expressions"
Creators
- 1. Iowa State University
- 2. University of Wisconsin-Madison
- 3. University of Amsterdam
- 4. University of Michigan-Ann Arbor
Description
Artifact evaluation for accepted paper "Mission-time LTL (MLTL) Formula Validation Via Regular Expressions" at the 2023 iFM conference.
Files
WEST_artifact.zip
Files
(10.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:19e5388eac646be9b499f7a6890ad3e9
|
10.1 MB | Preview Download |
Additional details
Funding
- CAREER: Theoretical Foundations of the UAS in the NAS Problem (Unmanned Aerial Systems in the National Air Space) 1552934
- National Science Foundation