Cita APA (7a ed.)

Cosler, M., Hahn, C., Omar, A., & Schmitt, F. (2024). NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.

Cita Chicago Style (17a ed.)

Cosler, Matthias, Christopher Hahn, Ayham Omar, y Frederik Schmitt. NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. 2024.

Cita MLA (9a ed.)

Cosler, Matthias, et al. NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. 2024.