Marta Kwiatkowska
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Research Interests
Marta Kwiatkowska has a total of 8 co-authors. Here are the top co-authors by number of shared publications:
- Alessandro Abate
University of Oxford
1 shared publication - Giuseppe Perelli
Department of Computer Science, Sapienza University of Rome, Rome, Italy
1 shared publication - Julian Gutierrez
Monash University
1 shared publication - Lewis Hammond
University of Oxford
1 shared publication - Michael Wooldridge
University of Oxford, United Kingdom
1 shared publication - Muhammad Najib
Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany
1 shared publication
Latest Publications
- Open Access
- 3 August 2021
- Published by Springer Nature in Applied Intelligence
- Vol. 51 (9) , 6569-6584
Rational verification: game-theoretic verification of multi-agent systems
We provide a survey of the state of the art ofrational 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.
- 3 August 2021
- Published by Springer Nature in Applied Intelligence
- Vol. 51 (9) , 6569-6584
Open AccessRational verification: game-theoretic verification of multi-agent systems
We provide a survey of the state of the art ofrational 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.