Login / Signup
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