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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..