Cite
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.
MLA
Hutchison, David, et al. “Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.” Hybrid Systems: Computation & Control (9783540714927), 2007, pp. 203–16. EBSCOhost, https://doi.org/10.1007/978-3-540-71493-4_18.
APA
Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Nierstrasz, O., Rangan, C. P., Steffen, B., Sudan, M., Terzopoulos, D., Tygar, D., Vardi, M. Y., Weikum, G., Bemporad, A., Bicchi, A., Buttazzo, G., Fainekos, G. E., & Girard, A. (2007). Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. In Hybrid Systems: Computation & Control (9783540714927) (pp. 203–216). https://doi.org/10.1007/978-3-540-71493-4_18
Chicago
Hutchison, David, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, et al. 2007. “Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.” In Hybrid Systems: Computation & Control (9783540714927), 203–16. doi:10.1007/978-3-540-71493-4_18.