Publication | Closed Access

Optimal assertions, and what they implicate. A uniform game theoretic approach

EngineeringNon-cooperative Game TheoryAutomated ReasoningGame TheoryVerificationFormal MethodsBusinessStatic Game TheoryComputer ScienceOptimal AssertionsComputational Game TheoryGamesImperfect Information GameFormal VerificationMechanism DesignAlgorithmic Game Theory