APA (7th ed.) Citation

Sato, S., An, J., Zhang, Z., & Hasuo, I. (2024). Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Sato, Sota, et al. Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. 2024.