Sevegnani, Michele
- Modelling and Verifying BDI Agents with Bigraphs
2021/05/06 by Blair Archibald, Archibald, Blair, Muffy Calder +5 · 1 citation
Computer Science · #Multi-Agent Systems and Negotiation #Logic, Reasoning, and Knowledge #Formal Methods in Verification