Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Verification of multi-agent systems with public actions against strategy logic. Artificial Intelligence, 285:103302, 2020. [doi]
@article{BelardinelliLMR20, title = {Verification of multi-agent systems with public actions against strategy logic}, author = {Francesco Belardinelli and Alessio Lomuscio and Aniello Murano and Sasha Rubin}, year = {2020}, doi = {10.1016/j.artint.2020.103302}, url = {https://doi.org/10.1016/j.artint.2020.103302}, researchr = {https://researchr.org/publication/BelardinelliLMR20}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {285}, pages = {103302}, }