PRALINE
From MaRDI portal
Software:24835
No author found.
Related Items (8)
Automatic verification of concurrent stochastic systems ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Unnamed Item ⋮ Pure Nash Equilibria in Concurrent Deterministic Games ⋮ Cooperative concurrent games ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ A Tool for the Automated Verification of Nash Equilibria in Concurrent Games ⋮ Slime mould games based on rough set theory
This page was built for software: PRALINE
