Quantitative Verification and Strategy Synthesis for BDI Agents.

Blair Archibald Muffy Calder Michele Sevegnani Mengwei Xu

Published in: NFM (2023)

Keyphrases

bdi agents
mental states
autonomous agents
quantitative and qualitative
agent architecture
multi agent systems
search strategy
texture synthesis
agent model
information systems
model checking
optimal strategy
signature verification
qualitative and quantitative