Cita APA (7a ed.)

Kretinsky, J., Meggendorfer, T., Prokop, M., & Zarkhah, A. (2025). SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning.

Cita Chicago Style (17a ed.)

Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, y Ashkan Zarkhah. SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. 2025.

Cita MLA (9a ed.)

Kretinsky, Jan, et al. SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning. 2025.