Conference item icon

Conference item

Rational verification: from model checking to equilibrium checking

Abstract:

Rational verification is concerned with establishing whether a given temporal logic formula ϕ is satisfied in some or all equilibrium computations of a multi-agent system – that is, whether the system will exhibit the behaviour ϕ under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the framework of rational verification, we present formal models through which rational verification can be studied, and survey the com...

Expand abstract
Publication status:
Accepted
Peer review status:
Peer reviewed

Actions


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Association for the Advancement of Artificial Intelligence Publisher's website
Host title:
Thirtieth AAAI Conference on Artificial Intelligence
Publication date:
2016-01-01
ISSN:
2159-5399
Source identifiers:
579518
Pubs id:
pubs:579518
UUID:
uuid:1d382e2d-e42c-43de-84b8-c2ceb8ee12f2
Local pid:
pubs:579518
Deposit date:
2015-12-10

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP