Crossmark

Formal Verification of BDI Agents

Crossref DOI link: https://doi.org/10.1007/978-3-031-73887-6_20

Published Online: 2024-10-23

Published Print: 2025

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Wright, Thomas https://orcid.org/0000-0001-8035-0884
Dennis, Louise A. https://orcid.org/0000-0003-1426-1896
Woodcock, Jim https://orcid.org/0000-0001-7955-2702
Foster, Simon https://orcid.org/0000-0002-9889-9514
License Information

Text and Data Mining valid from 2024-10-23

Version of Record valid from 2024-10-23
More Information

Chapter History

First Online: 23 October 2024