Alternating-time temporal logic ATL with finitely bounded semantics.

MLA

Goranko, Valentin, et al. “Alternating-Time Temporal Logic ATL with Finitely Bounded Semantics.” Theoretical Computer Science, vol. 797, Dec. 2019, pp. 129–55. EBSCOhost, https://doi.org/10.1016/j.tcs.2019.05.029.

APA

Goranko, V., Kuusisto, A., & Rönnholm, R. (2019). Alternating-time temporal logic ATL with finitely bounded semantics. Theoretical Computer Science, 797, 129–155. https://doi.org/10.1016/j.tcs.2019.05.029

Chicago

Goranko, Valentin, Antti Kuusisto, and Raine Rönnholm. 2019. “Alternating-Time Temporal Logic ATL with Finitely Bounded Semantics.” Theoretical Computer Science 797 (December): 129–55. doi:10.1016/j.tcs.2019.05.029.