Sota Sato, Jie An, Zhenya Zhang, Ichiro Hasuo: Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications (Artifact). Zenodo 2024