Rational Verification for Probabilistic Systems

Download PDF
Open Webpage

Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge

Published: 2021, Last Modified: 16 May 2025KR 2021EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Rational verification is the problem of determining which temporal logic properties will hold in a multi-agent system, under the assumption that agents in the system act rationally, by choosing st...