EAGLE

swMATH31989MaRDI QIDQ43700FDOQ43700

Author name not available (Why is that?)

Described by source

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

Cited In (8)

• 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
• Natural strategic ability
• 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