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...

Descrizione completa

Dettagli Bibliografici
Autore principale: Steeples, T
Natura: Tesi
Lingua:English
Pubblicazione: 2023