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...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Թեզիս |
| Լեզու: | English |
| Հրապարակվել է: |
2023
|