Quantitative rational verification

<p>Rational verification asks whether certain temporal properties hold within the equilibria of multi-agent systems. Typically, the literature considers games where the agents traverse some concurrent game structure (or some succinct representation of it), with player goals and specifications...

Deskribapen osoa

Xehetasun bibliografikoak
Egile nagusia: Steeples, T
Formatua: Thesis
Hizkuntza:English
Argitaratua: 2023