Mr. Waffles

swMATH31992MaRDI QIDQ43703FDOQ43703

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: Mr. Waffles