Sarwar, M. M. S., Ray, R., & Banerjee, A. (2023, September 21). Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. Proceedings (ACM and IEEE International Conference on Formal Methods and Models for Co-Design), 47-58. https://doi.org/10.1145/3610579.3611082
Citácia podle Chicago (17th ed.)Sarwar, Mir Md Sajid, Rajarshi Ray, a Ansuman Banerjee. "Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation." Proceedings (ACM and IEEE International Conference on Formal Methods and Models for Co-Design) 21 Sep. 2023: 47-58. https://doi.org/10.1145/3610579.3611082.
Citácia podľa MLA (8th ed.)Sarwar, Mir Md Sajid, et al. "Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation." Proceedings (ACM and IEEE International Conference on Formal Methods and Models for Co-Design), 21 Sep. 2023, pp. 47-58, https://doi.org/10.1145/3610579.3611082.