Mr. Waffles

MaRDI QIDQ43703swMATHFDO

Official website http://mrwaffles.gforge.inria.fr/

Cited in

(3)

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

This page was built for software: Mr. Waffles