CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES.

MLA

Acampora, Renato, et al. “Controller Synthesis for Timeline-Based Games.” Logical Methods in Computer Science (LMCS), vol. 20, no. 3, July 2024, p. 17:1-17:30. EBSCOhost, https://doi.org/10.46298/LMCS-20(3:17)2024.

APA

Acampora, R., Geatti, L., Gigante, N., Montanari, A., & Picotti, V. (2024). Controller Synthesis for Timeline-Based Games. Logical Methods in Computer Science (LMCS), 20(3), 17:1-17:30. https://doi.org/10.46298/LMCS-20(3:17)2024

Chicago

Acampora, Renato, Luca Geatti, Nicola Gigante, Angelo Montanari, and Valentino Picotti. 2024. “Controller Synthesis for Timeline-Based Games.” Logical Methods in Computer Science (LMCS) 20 (3): 17:1-17:30. doi:10.46298/LMCS-20(3:17)2024.