EVE

swMATH31990MaRDI QIDQ43701FDOQ43701

Author name not available (Why is that?)

Source code repository: https://github.com/eve-mas/eve-parity

Cited In (4)

• Automatic verification of concurrent stochastic systems
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• Verification of multi-agent systems with public actions against strategy logic
• Title not available (Why is that?)

This page was built for software: EVE