APA (7th ed.) Citation

Reissig, G., Weber, A., & Rungger, M. (2017). Feedback Refinement Relations for the Synthesis of Symbolic Controllers. IEEE transactions on automatic control, 62(4), 1781-1796. https://doi.org/10.1109/TAC.2016.2593947

Chicago Style (17th ed.) Citation

Reissig, Gunther, Alexander Weber, and Matthias Rungger. "Feedback Refinement Relations for the Synthesis of Symbolic Controllers." IEEE Transactions on Automatic Control 62, no. 4 (2017): 1781-1796. https://doi.org/10.1109/TAC.2016.2593947.

MLA (9th ed.) Citation

Reissig, Gunther, et al. "Feedback Refinement Relations for the Synthesis of Symbolic Controllers." IEEE Transactions on Automatic Control, vol. 62, no. 4, 2017, pp. 1781-1796, https://doi.org/10.1109/TAC.2016.2593947.