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
Chicago-Zitierstil (17. Ausg.)Meyer, Pierre-Jean, Antoine Girard, und 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.
MLA-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.