Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
Julián Gutiérrez, Muhammad Sharfi Najib, Giuseppe Perelli, Michael Wooldridge
Topics & Concepts
CorrectnessComputer scienceTemporal logicLinear temporal logicNash equilibriumModel checkingContext (archaeology)ImplementationTheoretical computer scienceSimple (philosophy)Programming languageMathematical economicsMathematicsBiologyPaleontologyEpistemologyPhilosophyLogic, Reasoning, and KnowledgeFormal Methods in VerificationLogic, programming, and type systems