@article{Abate:2021we,
    Abstract = {We provide a survey of the state of the art of rational verification: the problem of checking whether a given temporal logic formula ϕis satisfied in some or all game-theoretic equilibria of a multi-agent system --that is, whether the system will exhibit the behavior ϕrepresents under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the overall framework of rational verification, we discuss key results obtained in the past few years as well as relevant related work in logic, AI, and computer science.},
    Author = {Abate, Alessandro and Gutierrez, Julian and Hammond, Lewis and Harrenstein, Paul and Kwiatkowska, Marta and Najib, Muhammad and Perelli, Giuseppe and Steeples, Thomas and Wooldridge, Michael},
    File = {Rational verification- game-theoretic verification of multi-agent systems - Abate2021\_Article\_RationalVerificationGame-theor.pdf},
    ISBN = {1573-7497},
    Journal = {Applied Intelligence},
    Title = {Rational verification: game-theoretic verification of multi-agent systems},
    URL = {https://doi.org/10.1007/s10489-021-02658-y},
    Year = {2021},
    bdsk-url-1 = {https://doi.org/10.1007/s10489-021-02658-y},
    da = {2021/08/03},
    date-added = {2021-08-11 10:01:46 +0200},
    date-modified = {2021-08-11 10:01:46 +0200},
    id = {Abate2021},
    ty = {JOUR},
    doi = {10.1007/s10489-021-02658-y}
}

@article{Abate:2021we, Abstract = {We provide a survey of the state of the art of rational verification: the problem of checking whether a given temporal logic formula ϕis satisfied in some or all game-theoretic equilibria of a multi-agent system --that is, whether the system will exhibit the behavior ϕrepresents under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the overall framework of rational verification, we discuss key results obtained in the past few years as well as relevant related work in logic, AI, and computer science.}, Author = {Abate, Alessandro and Gutierrez, Julian and Hammond, Lewis and Harrenstein, Paul and Kwiatkowska, Marta and Najib, Muhammad and Perelli, Giuseppe and Steeples, Thomas and Wooldridge, Michael}, File = {Rational verification- game-theoretic verification of multi-agent systems - Abate2021_Article_RationalVerificationGame-theor.pdf}, ISBN = {1573-7497}, Journal = {Applied Intelligence}, Title = {Rational verification: game-theoretic verification of multi-agent systems}, URL = {https://doi.org/10.1007/s10489-021-02658-y}, Year = {2021}, bdsk-url-1 = {https://doi.org/10.1007/s10489-021-02658-y}, da = {2021/08/03}, date-added = {2021-08-11 10:01:46 +0200}, date-modified = {2021-08-11 10:01:46 +0200}, id = {Abate2021}, ty = {JOUR}, doi = {10.1007/s10489-021-02658-y} }