[ACSX22b]
Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu.
Modelling and verifying BDI agents with bigraphs.
Science of Computer Programming.
2022.
[Encodes Belief-Desire-Intention (BDI) programming languages using bigraphs and exports them to PRISM for solution.]
|
