Meyer, P., 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
Citácia podle Chicago (17th ed.)Meyer, Pierre-Jean, Antoine Girard, a Emmanuel Witrant. "Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models." IEEE Transactions on Automatic Control 63, no. 6 (2018): 1835-1841. https://doi.org/10.1109/TAC.2017.2753039.
Citácia podľa MLA (8th ed.)Meyer, Pierre-Jean, et al. "Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models." IEEE Transactions on Automatic Control, vol. 63, no. 6, 2018, pp. 1835-1841, https://doi.org/10.1109/TAC.2017.2753039.