EAGLE

swMATH31989MaRDI QIDQ43700

No author found.

Described by source

• A Tool for the Automated Verification of Nash Equilibria in Concurrent Games

Related Items (8)

Imperfect information in reactive modules games ⋮ Automatic verification of concurrent stochastic systems ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Unnamed Item ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Natural strategic ability

This page was built for software: EAGLE