Modelling and verifying BDI agents with bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Topics & Concepts
Computer scienceExecutableProgramming languageConcurrencySemantics (computer science)PromelaImplementationENCODESyntaxModel checkingSoftware engineeringArtificial intelligenceChemistryGeneBiochemistryFormal Methods in VerificationLogic, Reasoning, and KnowledgeDistributed systems and fault tolerance