Publication | Closed Access
Optimal assertions, and what they implicate. A uniform game theoretic approach
71
Citations
14
References
2007
Year
EngineeringNon-cooperative Game TheoryAutomated ReasoningGame TheoryVerificationFormal MethodsBusinessStatic Game TheoryComputer ScienceOptimal AssertionsComputational Game TheoryGamesImperfect Information GameFormal VerificationMechanism DesignAlgorithmic Game Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1