Cardona, G. A., Kamale, D., & Vasile, C. (2025). STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming approach. Nonlinear analysis. Hybrid systems, 56, 101576. https://doi.org/10.1016/j.nahs.2025.101576
Citace podle Chicago (17th ed.)Cardona, Gustavo A., Disha Kamale, a Cristian-Ioan Vasile. "STL and WSTL Control Synthesis: A Disjunction-centric Mixed-integer Linear Programming Approach." Nonlinear Analysis. Hybrid Systems 56 (2025): 101576. https://doi.org/10.1016/j.nahs.2025.101576.
Citace podle MLA (9th ed.)Cardona, Gustavo A., et al. "STL and WSTL Control Synthesis: A Disjunction-centric Mixed-integer Linear Programming Approach." Nonlinear Analysis. Hybrid Systems, vol. 56, 2025, p. 101576, https://doi.org/10.1016/j.nahs.2025.101576.