[ACSX23]
Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu.
Quantitative Verification and Strategy Synthesis for BDI Agents.
In Proc. NASA Formal Methods Symposium (NFM'23).
2023.
[Uses PRISM to synthesise optimal strategies for probabilistic Belief-Desire-Intention agents.]
|
