Verification of multi-agent systems with public actions against strategy logic
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Topics & Concepts
Computer scienceHierarchyModel checkingDecidabilityTemporal logicMulti-agent systemRational agentMathematical optimizationTheoretical computer scienceArtificial intelligenceMathematicsEconomicsMarket economyLogic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationAuction Theory and Applications