Flora Amato, Antonino Mazzeo, Francesco Moscato, Dario Pianese. Verification and Planning in Agent-Based Systems. In Kokou YĆ©tongnon, Albert Dipanda, editors, 11th International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2015, Bangkok, Thailand, November 23-27, 2015. pages 782-788, IEEE, 2015. [doi]
@inproceedings{AmatoMMP15, title = {Verification and Planning in Agent-Based Systems}, author = {Flora Amato and Antonino Mazzeo and Francesco Moscato and Dario Pianese}, year = {2015}, doi = {10.1109/SITIS.2015.120}, url = {http://dx.doi.org/10.1109/SITIS.2015.120}, researchr = {https://researchr.org/publication/AmatoMMP15}, cites = {0}, citedby = {0}, pages = {782-788}, booktitle = {11th International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2015, Bangkok, Thailand, November 23-27, 2015}, editor = {Kokou YĆ©tongnon and Albert Dipanda}, publisher = {IEEE}, isbn = {978-1-4673-9721-6}, }