English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this work, we present a logic based on first-order CTL, namely GameAnalysis Logic (GAL), in order to reason about games. We relate models andsolution concepts of Game Theory as models and formulas of GAL, respectively.Precisely, we express extensive games with perfect in- formation as models ofGAL, and Nash equilibrium and subgame perfect equilibrium by means of formulasof GAL. From a practical point of view, we provide a GAL model checker in orderto analyze games automatically. We use our model checker in at least twodirections: to find solution con- cepts of Game Theory; and, to analyze playersthat are based on standard algorithms of the AI community, such as the minimaxprocedure.

Reasoning about Games via a First-order Modal Model Checking Approach