An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
Topics & Concepts
Perfect informationComputer scienceAutomatonLinear temporal logicTheoretical computer scienceSemantics (computer science)AbstractionImperfectSimple (philosophy)Model checkingTemporal logicProgramming languageAlgorithmMathematicsPhilosophyMathematical economicsEpistemologyLinguisticsFormal Methods in VerificationLogic, Reasoning, and KnowledgeLogic, programming, and type systems