Wang, H., Papachristodoulou, A., & Margellos, K. (2023). Distributed safety verification for multi-agent systems. IEEE.
Παραπομπή σε μορφή Chicago (17η εκδ.)Wang, H., A. Papachristodoulou, και K. Margellos. Distributed Safety Verification for Multi-agent Systems. IEEE, 2023.
Παραπομπή σε μορφή MLA (9th εκδ.)Wang, H., et al. Distributed Safety Verification for Multi-agent Systems. IEEE, 2023.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.