Cite
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.
MLA
Meyer, Pierre-Jean, et al. “Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.” IEEE Transactions on Automatic Control, vol. 63, no. 6, June 2018, pp. 1835–41. EBSCOhost, https://doi.org/10.1109/TAC.2017.2753039.
APA
Meyer, P.-J., Girard, A., & Witrant, E. (2018). Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models. IEEE Transactions on Automatic Control, 63(6), 1835–1841. https://doi.org/10.1109/TAC.2017.2753039
Chicago
Meyer, Pierre-Jean, Antoine Girard, and Emmanuel Witrant. 2018. “Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models.” IEEE Transactions on Automatic Control 63 (6): 1835–41. doi:10.1109/TAC.2017.2753039.