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
Citace 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.
Citace podle MLA (9th 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.