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)

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

This page was built for software: EAGLE