Using Process Calculi for Plan Verification in Multiagent Planning

Jakubův, J., Tožička, J., Komenda, A.

JAKUBŮV, J., J. TOŽIČKA, and A. KOMENDA. Using Process Calculi for Plan Verification in Multiagent Planning. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7th International Conference on Agents and Artificial Intelligence, Lisbon, 2015-01-10/2015-01-12. Berlin: Springer-Verlag, 2015. pp. 245-261. ISSN 0302-9743. ISBN 978-3-319-27946-6. DOI 10.1007/978-3-319-27947-3_13.