Model checking agent-based communities against uncertain group commitments and knowledge
Khalid Sultan, Jamal Bentahar, Hamdi Yahyaoui, Rabeb Mizouni
Topics & Concepts
SoundnessComputer scienceProbabilistic logicModel checkingProbabilistic CTLTheoretical computer scienceMarkov decision processCompleteness (order theory)Temporal logicArtificial intelligenceMarkov processProbabilistic analysis of algorithmsMathematicsProgramming languageStatisticsMathematical analysisMulti-Agent Systems and NegotiationLogic, Reasoning, and KnowledgeFormal Methods in Verification