Game-theoretic semantics for alternating-time temporal logic

V. Goranko, A. Kuusisto, R Rönnholm

    Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

    5 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Artikkeli17
    JulkaisuACM TRANSACTIONS ON COMPUTATIONAL LOGIC
    Vuosikerta19
    Numero3
    DOI - pysyväislinkit
    TilaJulkaistu - 2018
    OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

    Tutkimusalat

    • Argumentation-based dialogue and protocols
    • Logic and game theory
    • Logics for agents and multiagent systems

    Julkaisufoorumi-taso

    • Jufo-taso 2

    Siteeraa tätä