Citação norma APA

Hartmanns, A., & Kaminski, B. L. (2020). Optimistic Value Iteration. Computer Aided Verification.

Citação norma Chicago

Hartmanns, Arnd, and Benjamin Lucien Kaminski. "Optimistic Value Iteration." Computer Aided Verification 2020.

Citação norma MLA

Hartmanns, Arnd, and Benjamin Lucien Kaminski. "Optimistic Value Iteration." Computer Aided Verification 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.