Jamroga and Kim. "Practical Model Reductions for Verification of Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/834
Markdown
[Jamroga and Kim. "Practical Model Reductions for Verification of Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/jamroga2023ijcai-practical/) doi:10.24963/IJCAI.2023/834
BibTeX
@inproceedings{jamroga2023ijcai-practical,
title = {{Practical Model Reductions for Verification of Multi-Agent Systems}},
author = {Jamroga, Wojciech and Kim, Yan},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2023},
pages = {7135-7139},
doi = {10.24963/IJCAI.2023/834},
url = {https://mlanthology.org/ijcai/2023/jamroga2023ijcai-practical/}
}