Rawlings, B. C., Lafortune, S., & Ydstie, B. E. (2020). Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. IEEE transactions on control systems technology, 28(2), 644-652. https://doi.org/10.1109/TCST.2018.2877621
Citace podle Chicago (17th ed.)Rawlings, Blake C., Stephane Lafortune, a B. Erik Ydstie. "Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking." IEEE Transactions on Control Systems Technology 28, no. 2 (2020): 644-652. https://doi.org/10.1109/TCST.2018.2877621.
Citace podle MLA (9th ed.)Rawlings, Blake C., et al. "Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking." IEEE Transactions on Control Systems Technology, vol. 28, no. 2, 2020, pp. 644-652, https://doi.org/10.1109/TCST.2018.2877621.