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
Chicago-Zitierstil (17. Ausg.)Sarwar, Mir Md Sajid, Rajarshi Ray, und 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.
MLA-Zitierstil (9. Ausg.)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.