PRALINE
From MaRDI portal
Software:24835
swMATH12912MaRDI QIDQ24835FDOQ24835
Author name not available (Why is that?)
Cited In (8)
- Pure Nash Equilibria in Concurrent Deterministic Games
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- 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
- Slime mould games based on rough set theory
- Cooperative concurrent games
- Title not available (Why is that?)
This page was built for software: PRALINE
