EAGLE

MaRDI QIDQ43700swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-25150-9_34

Described by source

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

Cited in

(24)

• Alpaga
• GAVS
• Imperfect information in reactive modules games
• Gambit
• MCMAS
• Automatic verification of concurrent stochastic systems
• QUASY
• GIST
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• Natural strategic ability
• From model checking to equilibrium checking: reactive modules for rational verification
• PRALINE
• PRISM-games
• MOCHA
• TuLiP
• Quantitative verification and strategy synthesis for stochastic games
• Reasoning about equilibria in game-like concurrent systems
• MCMAS-SLK
• EVE
• CTLSAT
• Mr. Waffles
• scientific article; zbMATH DE number 7136658 (Why is no real title available?)
• dot
• MultiGain

This page was built for software: EAGLE