|
[ACSX22]
Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu.
Verifying BDI Agents in Dynamic Environments.
In Proc. 34th International Conference on Software Engineering and Knowledge Engineering (SEKE'22).
2022.
[Proposes a framework for verifying Belief-Desire-Intention (BDI) agents in dynamic environments, building on PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|