The following pages link to EVE (Q43701):
Displaying 5 items.
- (Q47695) (redirect page) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Automatic verification of concurrent stochastic systems (Q2147696) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- (Q4972730) (← links)