Kouvaros et al. "Formal Verification of Parameterised Neural-Symbolic Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Kouvaros et al. "Formal Verification of Parameterised Neural-Symbolic Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/kouvaros2024ijcai-formal/)
BibTeX
@inproceedings{kouvaros2024ijcai-formal,
title = {{Formal Verification of Parameterised Neural-Symbolic Multi-Agent Systems}},
author = {Kouvaros, Panagiotis and Botoeva, Elena and De Bonis-Campbell, Cosmo},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {103-110},
url = {https://mlanthology.org/ijcai/2024/kouvaros2024ijcai-formal/}
}