Wang, H., Papachristodoulou, A., & Margellos, K. (2023). Distributed safety verification for multi-agent systems. IEEE.
Dyfyniad Arddull ChicagoWang, H., A. Papachristodoulou, and K. Margellos. Distributed Safety Verification for Multi-agent Systems. IEEE, 2023.
Dyfyniad MLAWang, H., et al. Distributed Safety Verification for Multi-agent Systems. IEEE, 2023.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.