Up a level |
Number of items: 1.
Stringer, Peter ORCID: 0000-0002-8760-4717, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Dennis, Louise A ORCID: 0000-0003-1426-1896
(2020)
Adaptable and Verifiable BDI Reasoning*.
In: Agents and Robots for Reliable Engineered Autonomy.