EAGLE

swMATH31989MaRDI QIDQ43700FDOQ43700

Author name not available (Why is that?)

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
• Quantitative verification and strategy synthesis for stochastic games
• dot
• Alpaga
• GAVS
• Natural strategic ability
• Gambit
• MCMAS
• GIST
• QUASY
• MOCHA
• PRALINE
• PRISM-games
• EVE
• TuLiP
• MCMAS-SLK
• CTLSAT
• Mr. Waffles
• MultiGain
• From model checking to equilibrium checking: reactive modules for rational verification
• Reasoning about equilibria in game-like concurrent systems
• Title not available (Why is that?)
• Imperfect information in reactive modules games

This page was built for software: EAGLE